#compiler #traits #prolog

chalk-solve

Combines the chalk-engine with chalk-ir

56 breaking releases

0.72.0 Oct 10, 2021
0.70.0 Aug 1, 2021
0.69.0 Jun 6, 2021
0.63.0 Mar 28, 2021
0.19.0 Jul 26, 2020

#47 in Algorithms

Download history 9933/week @ 2021-07-03 10450/week @ 2021-07-10 10408/week @ 2021-07-17 10428/week @ 2021-07-24 11378/week @ 2021-07-31 11957/week @ 2021-08-07 12369/week @ 2021-08-14 12571/week @ 2021-08-21 11967/week @ 2021-08-28 11022/week @ 2021-09-04 14590/week @ 2021-09-11 12033/week @ 2021-09-18 12420/week @ 2021-09-25 13083/week @ 2021-10-02 13562/week @ 2021-10-09 9889/week @ 2021-10-16

51,237 downloads per month
Used in 21 crates (3 directly)

Apache-2.0/MIT

760KB
15K SLoC

A library that defines the rules that translates Rust IR to logical predicates.

See Github for up-to-date information.

Dependencies

~2.2–3MB
~65K SLoC

0ba