smt2patch 0.1.1

Library and binary tool to patch SMT2 files

Coverage
44.44%
4 out of 9 items documented0 out of 8 items with examples
Size
Source code size: 24.56 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 3.75 MB This is the summed size of all files generated by rustdoc for all configured targets
Links
facebookarchive/smt2utils
23 15 2
crates.io
Dependencies
Versions
Owners

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.