rsmt2

dev:

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

Crate.io documentation.

Known projects using rsmt2

• kinō, a model-checker for transition systems.

License

MIT/Apache-2.0