10 releases
| 0.3.0 | Mar 19, 2025 |
|---|---|
| 0.2.0 | May 2, 2024 |
| 0.1.8 | Dec 26, 2023 |
| 0.1.6 | Nov 15, 2023 |
| 0.1.1 | Dec 30, 2022 |
#1576 in Algorithms
324 downloads per month
Used in smtlib
185KB
4.5K
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.
Dependencies
~4–18MB
~223K SLoC