smtlib-lowlevel

A low-level API for interacting with SMT solvers

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

MIT/Apache

165KB
4K SLoC

smtlib-lowlevel

Crates.io Docs Crates.io license shield

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