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 7771/week @ 2024-01-25 7619/week @ 2024-02-01 9273/week @ 2024-02-08 9216/week @ 2024-02-15 8766/week @ 2024-02-22 8715/week @ 2024-02-29 9081/week @ 2024-03-07 9246/week @ 2024-03-14 9667/week @ 2024-03-21 9118/week @ 2024-03-28 9107/week @ 2024-04-04 9174/week @ 2024-04-11 9373/week @ 2024-04-18 8222/week @ 2024-04-25 7936/week @ 2024-05-02 6526/week @ 2024-05-09

33,355 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–15MB
~137K SLoC