Lib.rs

› Algorithms
#compiler #prolog #traits

chalk-recursive

Recursive solver for the Chalk project

by Niko Matsakis, Jack Huey, Wilco Kusee, Dabo Ross, super-tuple, Rust Compiler Team, Chalk developers (94 contributors). Owned by rust-lang-chalk-publish-bot.

75 breaking releases

0.98.0 Jul 7, 2024
0.96.0 Jan 7, 2024
0.95.0 Nov 19, 2023
0.92.0 Jun 30, 2023
0.19.0 Jul 26, 2020

#89 in Algorithms

Download history 10374/week @ 2024-09-11 9897/week @ 2024-09-18 10431/week @ 2024-09-25 10524/week @ 2024-10-02 12044/week @ 2024-10-09 10707/week @ 2024-10-16 12261/week @ 2024-10-23 10604/week @ 2024-10-30 9854/week @ 2024-11-06 9143/week @ 2024-11-13 9076/week @ 2024-11-20 9556/week @ 2024-11-27 10553/week @ 2024-12-04 10198/week @ 2024-12-11 8668/week @ 2024-12-18 5702/week @ 2024-12-25

36,817 downloads per month
Used in 24 crates (via ra_ap_hir_ty)

MIT/Apache

1MB
17K SLoC

A crate housing the recursive solver for chalk.

See Github for up-to-date information.

Dependencies

~3–11MB
~119K SLoC