9 releases
| new 0.2.0 | May 2, 2024 |
|---|---|
| 0.1.8 | Dec 26, 2023 |
| 0.1.6 | Nov 15, 2023 |
| 0.1.5 | Jan 16, 2023 |
| 0.1.1 | Dec 30, 2022 |
#1210 in Algorithms
Used in smtlib
165KB
4K
SLoC
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.
lib.rs:
smtlib-lowlevel
A low-level API for interacting with SMT solvers.
Dependencies
~3–19MB
~218K SLoC