#smt-solver #low-level #smt-lib #api #results #command #interactive

smtlib-lowlevel

A low-level API for interacting with SMT solvers

8 releases

0.1.8 Dec 26, 2023
0.1.6 Nov 15, 2023
0.1.5 Jan 16, 2023
0.1.1 Dec 30, 2022

#1497 in Algorithms

Download history 16/week @ 2023-12-26 1/week @ 2024-02-13 18/week @ 2024-02-20 16/week @ 2024-02-27 3/week @ 2024-03-05 260/week @ 2024-03-12

298 downloads per month
Used in smtlib

MIT/Apache

34KB
825 lines

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

~2.7–9.5MB
~160K SLoC