smt2patch is an experimental binary tool to modify SMT2 files.
The smt2patch library provides the SMT2 "patching" functionalities and
configurations used by the binary tool smt2patch.
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.