#compiler #traits #prolog

chalk-solve

Combines the chalk-engine with chalk-ir

68 breaking releases

0.84.0 Jul 31, 2022
0.82.0 Apr 12, 2022
0.81.0 Mar 27, 2022
0.76.0 Dec 26, 2021
0.19.0 Jul 26, 2020

#55 in Algorithms

Download history 10340/week @ 2022-04-18 10940/week @ 2022-04-25 12314/week @ 2022-05-02 11470/week @ 2022-05-09 13046/week @ 2022-05-16 11984/week @ 2022-05-23 12188/week @ 2022-05-30 11158/week @ 2022-06-06 11215/week @ 2022-06-13 10255/week @ 2022-06-20 12606/week @ 2022-06-27 11812/week @ 2022-07-04 11468/week @ 2022-07-11 12601/week @ 2022-07-18 14349/week @ 2022-07-25 12007/week @ 2022-08-01

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

MIT/Apache

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–3.5MB
~71K SLoC