82 个重大发布

0.98.0 2024年7月7日
0.96.0 2024年1月7日
0.95.0 2023年11月19日
0.92.0 2023年6月30日
0.19.0 2020年7月26日

127编程语言

Download history · Rust 包仓库 8987/week @ 2024-04-21 · Rust 包仓库 8494/week @ 2024-04-28 · Rust 包仓库 7849/week @ 2024-05-05 · Rust 包仓库 8011/week @ 2024-05-12 · Rust 包仓库 8738/week @ 2024-05-19 · Rust 包仓库 8391/week @ 2024-05-26 · Rust 包仓库 8544/week @ 2024-06-02 · Rust 包仓库 9110/week @ 2024-06-09 · Rust 包仓库 9201/week @ 2024-06-16 · Rust 包仓库 8840/week @ 2024-06-23 · Rust 包仓库 8423/week @ 2024-06-30 · Rust 包仓库 8629/week @ 2024-07-07 · Rust 包仓库 9306/week @ 2024-07-14 · Rust 包仓库 8777/week @ 2024-07-21 · Rust 包仓库 9085/week @ 2024-07-28 · Rust 包仓库 8480/week @ 2024-08-04 · Rust 包仓库

36,716 每月下载量
用于 25 个crate (3 直接)

MIT/Apache

785KB
16K SLoC

一个库,定义了将Rust IR转换为逻辑谓词的规则。

有关最新信息,请参阅 Github

依赖项

~3–12MB
~116K SLoC