rsmt2
A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
Known projects using rsmt2
- kinÅ, a model-checker for transition systems.
License
MIT/Apache-2.0
rsmt2
A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
rsmt2
MIT/Apache-2.0