seer-z3
| Crates.io | seer-z3 |
| lib.rs | seer-z3 |
| version | 0.1.2 |
| source | src |
| created_at | 2017-06-08 22:32:12.11915 |
| updated_at | 2018-06-12 15:42:33.642295 |
| description | High-level rust bindings for the Z3 SMT solver from Microsoft Research |
| homepage | https://github.com/dwrensha/z3-rs |
| repository | https://github.com/dwrensha/z3-rs.git |
| max_upload_size | |
| id | 18266 |
| size | 36,631 |
David Renshaw (dwrensha)
documentation
README
High-level rust bindings to the Z3 SMT solver
See https://github.com/Z3Prover/z3 for details on Z3.