#smt-solver #smt #solver #smt-lib

bin+lib smt2proxy

Binary tool to intercept and pre-process SMT2 commands

7 releases

0.2.4 Jul 9, 2021
0.2.3 Jul 8, 2021
0.2.1 Jun 9, 2021
0.2.0 Apr 9, 2021
0.0.0 Jan 27, 2021

#11 in #smt-lib

22 downloads per month

MIT/Apache

210KB
5.5K SLoC

smt2proxy

smt2proxy on crates.io Documentation License License

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 stm2proxy library provides the command processing functionalities and configurations used by the binary tool smt2proxy.

Contributing

See the CONTRIBUTING file for how to help out.

License

This project is available under the terms of either the Apache 2.0 license or the MIT license.

Dependencies

~7.5MB
~111K SLoC