Lib.rs

›

falcon-z3

Rust 的 z3 和 Falcon 绑定库

使用旧版 Rust 2015

#3 in #z3

26 个月下载量
在 2 crates 中使用

MIT 和 LGPL-3.0

31KB
864 行代码（不含注释）

z3 的 Rust 绑定库。

这些绑定目前构建于 z3 4.7.1 版本。

~35MB
~746K SLoC