Lib.rs

›

#traits #prolog #compiler

chalk-recursive

Chalk项目的递归求解器

由 Niko Matsakis、Jack Huey、Wilco Kusee、Dabo Ross、super-tuple、Rust编译器团队、Chalk开发者 (94位贡献者) 所有者 rust-lang-chalk-publish-bot.

75个重大版本发布

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日

#79 in 算法

35,252 每月下载量
用于 23 个crate（通过 ra_ap_hir_ty）

MIT/Apache

1MB
17K SLoC

用于存放chalk的递归求解器的crate。

请访问Github 获取最新信息。

依赖项

~3–12MB
~117K SLoC