smt2proxy is an experimental binary tool to intercept and pre-process SMT2
commands before there are send to an SMT solver. It acts as a command-line replacement
for the SMT solver binary. Currently, only Z3 is supported.
The smt2proxy library provides the command processing functionalities and
configurations used by the binary tool smt2proxy.
See the CONTRIBUTING file for how to help out.
This project is available under the terms of either the Apache 2.0 license or the MIT license.