rust_smt
| Crates.io | rust_smt |
| lib.rs | rust_smt |
| version | 0.2.0 |
| source | src |
| created_at | 2019-03-29 21:11:27.891198 |
| updated_at | 2019-05-03 20:30:37.278838 |
| description | A generic solver-agnostic API for interacting with SMT solvers based on the SMT-LIB standard. |
| homepage | https://github.com/facebookincubator/Rust-SMT-LIB-API |
| repository | https://github.com/facebookincubator/Rust-SMT-LIB-API.git |
| max_upload_size | |
| id | 124663 |
| size | 93,126 |
(cbarrettfb)
documentation
README
Rust-SMT-LIB-API 
This crate provides a generic high-level API for interacting with SMT solvers. The aim of this interface is to be solver-agnostic (i.e. the user can switch between back-end SMT solvers by modifying a single line of code) and to mimic the SMT-LIB standard commands as closely as possible. Currently, Z3 is supported as a back-end. See links below for more information on SMT-LIB and Z3. See tests/test.rs for examples of how to use the interface.
Installing z3
- Rust-SMT-LIB-API requires the latest nightly build of Z3
- Follow the install instructions on the Z3 website (see below)
Building
- Download or clone Rust-SMT-LIB-API
- cd to the root directory of Rust-SMT-LIB-API and run: cargo test
Additional links
License
Rust-SMT-LIB-API is MIT licensed, as found in the LICENSE file.