Lib.rs

› 开发工具 › 过程宏 › SMT-LIB
#smt-lib #family #solver #smt-solver

smtlib-build-util

作者 Oliver Bøving

2个版本

0.1.8 2023年12月26日
0.1.0 2023年1月2日

#601 在 过程宏 中

每月50 次下载

MIT/Apache

28KB
720 行

用于构建smтlib系列crate的构建工具

依赖项

~5–7MB
~134K SLoC