yices2
Yices2 SMT solver binding
Description
Yices is a Satisfiability Modulo Theories (SMT) solver from SRI. It is available freely for non-commercial purposes. License terms: http://yices.csl.sri.com/yices-newnewlicense.html
Install
- Published
-
08 May 2017
- Maintainers
-
Sources
Dependencies
Reverse Dependencies