smtlib-lowlevel
| Crates.io | smtlib-lowlevel |
| lib.rs | smtlib-lowlevel |
| version | 0.2.0 |
| source | src |
| created_at | 2022-12-30 13:15:27.464747 |
| updated_at | 2024-05-02 15:34:45.583742 |
| description | A low-level API for interacting with SMT solvers |
| homepage | https://github.com/oeb25/smtlib-rs/tree/main/lowlevel |
| repository | https://github.com/oeb25/smtlib-rs |
| max_upload_size | |
| id | 747866 |
| size | 187,935 |
Oliver Bøving (oeb25)
documentation
https://docs.rs/smtlib-lowlevel
README
smtlib-lowlevel
A low-level API for interacting with SMT solvers
This is the low-level counter-part to smtlib. It includes the low-level types for communicating with SMT solvers. This means a SMTLIB2 parser, and an interactive way to send commands to the SMT solver, interpret results, and respond to the results.