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

#79 in Algorithms

Download history 8418/week @ 2024-01-19 7678/week @ 2024-01-26 8184/week @ 2024-02-02 9083/week @ 2024-02-09 9308/week @ 2024-02-16 8546/week @ 2024-02-23 8747/week @ 2024-03-01 9218/week @ 2024-03-08 9369/week @ 2024-03-15 9649/week @ 2024-03-22 9032/week @ 2024-03-29 9031/week @ 2024-04-05 9363/week @ 2024-04-12 9215/week @ 2024-04-19 8142/week @ 2024-04-26 7692/week @ 2024-05-03

35,819 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–14MB
~134K SLoC