微软研究机构Z3 SMT求解器的高级Rust绑定
由David Renshaw和3位贡献者编写
使用旧的Rust 2015
#20 in #可满足性
64 个月下载量用于seer
25KB 758 行
到Z3 SMT求解器的高级Rust绑定
有关Z3的详细信息，请参阅https://github.com/Z3Prover/z3
~20MB ~428K SLoC