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

#77 in Algorithms

Download history 8359/week @ 2024-08-02 8583/week @ 2024-08-09 7920/week @ 2024-08-16 8375/week @ 2024-08-23 8019/week @ 2024-08-30 8538/week @ 2024-09-06 10117/week @ 2024-09-13 10874/week @ 2024-09-20 10119/week @ 2024-09-27 11308/week @ 2024-10-04 11308/week @ 2024-10-11 11469/week @ 2024-10-18 11426/week @ 2024-10-25 10408/week @ 2024-11-01 9475/week @ 2024-11-08 9145/week @ 2024-11-15

42,562 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
~115K SLoC