9 releases
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 |
21 downloads per month
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
~4–17MB
~214K SLoC