rbtying/smtlib-rs

A high-level API for interacting with SMT solvers.

Rust