3 unstable releases
| 0.1.1 | Jun 9, 2021 |
|---|---|
| 0.1.0 | Apr 19, 2021 |
| 0.0.0 | Apr 15, 2021 |
#13 in #smt-lib
29 downloads per month
205KB
5K
SLoC
smt2patch
smt2patch is an experimental binary tool to modify SMT2 files.
The stm2patch library provides the SMT2 "patching" functionalities and
configurations used by the binary tool smt2patch.
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.
lib.rs:
The stm2patch library provides the SMT2 "patching" functionalities and
configurations used by the binary tool smt2patch.
Dependencies
~5.5MB
~79K SLoC