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 • 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