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
210KB
5.5K
SLoC
smt2proxy
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