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

#78 in Algorithms

Download history 8299/week @ 2024-07-23 9139/week @ 2024-07-30 8757/week @ 2024-08-06 7996/week @ 2024-08-13 8284/week @ 2024-08-20 8068/week @ 2024-08-27 7837/week @ 2024-09-03 9696/week @ 2024-09-10 10051/week @ 2024-09-17 10537/week @ 2024-09-24 10431/week @ 2024-10-01 12024/week @ 2024-10-08 10552/week @ 2024-10-15 12113/week @ 2024-10-22 11242/week @ 2024-10-29 9496/week @ 2024-11-05

45,473 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
~117K SLoC