Lib.rs

› Algorithms
#traits #prolog #compiler

chalk-recursive

Recursive solver for the Chalk project

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

74 breaking releases

0.97.0 Apr 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

#83 in Algorithms

Download history 7078/week @ 2023-12-23 6562/week @ 2023-12-30 8730/week @ 2024-01-06 8623/week @ 2024-01-13 8258/week @ 2024-01-20 7171/week @ 2024-01-27 8889/week @ 2024-02-03 9003/week @ 2024-02-10 9413/week @ 2024-02-17 8515/week @ 2024-02-24 8716/week @ 2024-03-02 9239/week @ 2024-03-09 9509/week @ 2024-03-16 9427/week @ 2024-03-23 8990/week @ 2024-03-30 7809/week @ 2024-04-06

37,093 downloads per month
Used in 23 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–13MB
~132K SLoC