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 在编程语言中

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

MIT/Apache

785KB
16K SLoC

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

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

依赖项

~3–12MB
~116K SLoC