Skip to content
This repository has been archived by the owner on Dec 1, 2022. It is now read-only.

Latest commit

 

History

History
27 lines (18 loc) · 932 Bytes

README.md

File metadata and controls

27 lines (18 loc) · 932 Bytes

smt2patch

smt2patch on crates.io Documentation License License

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.

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.