rsmt2-zz
| Crates.io | rsmt2-zz |
| lib.rs | rsmt2-zz |
| version | 0.11.1 |
| source | src |
| created_at | 2020-01-05 15:18:35.742848 |
| updated_at | 2020-02-06 10:37:54.193326 |
| description | Wrapper for SMT-LIB 2 compliant SMT solvers. With ZZ downstream fixes |
| homepage | https://github.com/kino-mc/rsmt2 |
| repository | https://github.com/kino-mc/rsmt2 |
| max_upload_size | |
| id | 195419 |
| size | 207,985 |
Arvid E. Picciani (aep)
documentation
https://docs.rs/rsmt2
README
rsmt2
| linux | windows | ||
|---|---|---|---|
 |
 |
 |
A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3.
If you use this library consider contacting us on the repository so that we can add your project to the readme.
See CHANGES.md for
the list of changes.
Future features (if requested)
-
support for more solvers
-
get-proof
Known projects using rsmt2
- kinÅ, a model-checker for transition systems (abandoned)
- hoice, a machine-learning-based predicate synthesizer for horn clauses
License
MIT/Apache-2.0