smtlib 0.1.6

A high-level API for interacting with SMT solvers
#![allow(clippy::all)]

include!(concat!(env!("OUT_DIR"), "/logic.rs"));