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.

76 breaking releases

0.99.0 Jan 14, 2025
0.98.0 Jul 7, 2024
0.97.0 Apr 7, 2024
0.96.0 Jan 7, 2024
0.19.0 Jul 26, 2020

#88 in Algorithms

Download history 11594/week @ 2024-10-20 11199/week @ 2024-10-27 10152/week @ 2024-11-03 9139/week @ 2024-11-10 9450/week @ 2024-11-17 8956/week @ 2024-11-24 10596/week @ 2024-12-01 10549/week @ 2024-12-08 9522/week @ 2024-12-15 6806/week @ 2024-12-22 6832/week @ 2024-12-29 10296/week @ 2025-01-05 10088/week @ 2025-01-12 10600/week @ 2025-01-19 10688/week @ 2025-01-26 14953/week @ 2025-02-02

47,347 downloads per month
Used in 25 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
~118K SLoC