This project provides an intermediate representation (IR) in Rust for SMT-LIB queries along with tools for performing computations over queries and transforming queries in various ways.
N.B.: we have recently split this repository so only the IR and transformer code is in this repo. Example code has been moved to the rust-smt-ir-examples repository.
See CONTRIBUTING for more information.
This project is licensed under the Apache-2.0 License.