smt2patch

smt2patch 是一个用于修改SMT2文件的实验性二进制工具。

stm2patch 库提供了SMT2 "修补"功能和配置，这些功能和配置由二进制工具 smt2patch 使用。

贡献

有关如何帮助的说明，请参阅 CONTRIBUTING 文件。

许可证

该项目可以在Apache 2.0许可证或MIT许可证的条款下获得。

lib.rs:

stm2patch 库提供了SMT2 "修补"功能和配置，这些功能和配置由二进制工具 smt2patch 使用。