smt2proxy
| Crates.io | smt2proxy |
| lib.rs | smt2proxy |
| version | 0.2.4 |
| created_at | 2021-01-27 21:16:15.161388+00 |
| updated_at | 2021-07-09 18:21:42.617385+00 |
| description | Binary tool to intercept and pre-process SMT2 commands |
| homepage | |
| repository | https://github.com/facebookincubator/smt2utils |
| max_upload_size | |
| id | 347471 |
| size | 34,757 |
Mathieu Baudet (ma2bd)
documentation
https://docs.rs/smt2proxy
README
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.