Lib.rs

› 编程语言
#编译器 #特性 #Prolog #定义

chalk-solve

结合 chalk-engine 和 chalk-ir

由 Niko Matsakis，Jack Huey，Rust 编译器团队，Chalk 开发者 (97 位贡献者). 共同所有者 由 Rust 编程语言，rust-lang-chalk-publish-bot.

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 8987/week @ 2024-04-21 8494/week @ 2024-04-28 7849/week @ 2024-05-05 8011/week @ 2024-05-12 8738/week @ 2024-05-19 8391/week @ 2024-05-26 8544/week @ 2024-06-02 9110/week @ 2024-06-09 9201/week @ 2024-06-16 8840/week @ 2024-06-23 8423/week @ 2024-06-30 8629/week @ 2024-07-07 9306/week @ 2024-07-14 8777/week @ 2024-07-21 9085/week @ 2024-07-28 8480/week @ 2024-08-04

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

MIT/Apache

785KB
16K SLoC

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

有关最新信息，请参阅 Github。

依赖项

~3–12MB
~116K SLoC