CSR: Small: SMT-Aware Real Constraint Solving

Ashish Tiwari and Bruno Dutertre




Listed below are some (freely available) tools that were developed/used in the project. First, tools to which the project contributed: Other tools that were used during the project to perform experiments: Exists benchmarks can be downloaded from nonlinear-examples.tgz (in Yices format), and other exists-forall benchmarks can be obtained from here .



Project supported by the National Science Foundation under grant CSR-0917398. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page