#compiler #traits #prolog

chalk-recursive

Recursive solver for the Chalk project

51 breaking releases

new 0.74.0 Nov 29, 2021
0.72.0 Oct 10, 2021
0.69.0 Jun 6, 2021
0.63.0 Mar 28, 2021
0.19.0 Jul 26, 2020

#106 in Algorithms

Download history 4293/week @ 2021-08-10 4240/week @ 2021-08-17 3773/week @ 2021-08-24 4043/week @ 2021-08-31 4555/week @ 2021-09-07 5103/week @ 2021-09-14 4636/week @ 2021-09-21 4688/week @ 2021-09-28 5626/week @ 2021-10-05 5113/week @ 2021-10-12 4962/week @ 2021-10-19 3890/week @ 2021-10-26 4447/week @ 2021-11-02 5051/week @ 2021-11-09 4802/week @ 2021-11-16 4523/week @ 2021-11-23

19,452 downloads per month
Used in 19 crates (via ra_ap_hir_ty)

Apache-2.0/MIT

1MB
17K SLoC

A crate housing the recursive solver for chalk.

See Github for up-to-date information.

Dependencies

~2.2–3MB
~64K SLoC

a