Lib.rs

› 算法 › Seer
#ffi #smt #可满足性 #求解器

seer-z3

微软研究机构Z3 SMT求解器的高级Rust绑定

由David Renshaw和3位贡献者编写

3个版本

使用旧的Rust 2015

0.1.2 2018年6月12日
0.1.1 2018年1月6日
0.1.0 2017年6月8日

#20 in #可满足性

Download history • Rust 包仓库 16/week @ 2023-10-29 • Rust 包仓库 12/week @ 2023-11-05 • Rust 包仓库 13/week @ 2023-11-12 • Rust 包仓库 12/week @ 2023-11-19 • Rust 包仓库 25/week @ 2023-11-26 • Rust 包仓库 14/week @ 2023-12-03 • Rust 包仓库 13/week @ 2023-12-10 • Rust 包仓库 9/week @ 2023-12-17 • Rust 包仓库 14/week @ 2023-12-24 • Rust 包仓库 4/week @ 2023-12-31 • Rust 包仓库 10/week @ 2024-01-07 • Rust 包仓库 11/week @ 2024-01-14 • Rust 包仓库 11/week @ 2024-01-21 • Rust 包仓库 11/week @ 2024-01-28 • Rust 包仓库 14/week @ 2024-02-04 • Rust 包仓库 26/week @ 2024-02-11 • Rust 包仓库

64 个月下载量
用于seer

MIT许可证

25KB
758 行

到Z3 SMT求解器的高级Rust绑定

有关Z3的详细信息，请参阅https://github.com/Z3Prover/z3

依赖项

~20MB
~428K SLoC