#compiler #traits #prolog

chalk-solve

Combines the chalk-engine with chalk-ir

43 breaking releases

new 0.59.0 Feb 28, 2021
0.57.0 Feb 14, 2021
0.46.0 Dec 27, 2020
0.41.0 Nov 29, 2020
0.19.0 Jul 26, 2020

#10 in Emulators

Download history 9492/week @ 2020-11-09 10294/week @ 2020-11-16 10279/week @ 2020-11-23 8411/week @ 2020-11-30 9436/week @ 2020-12-07 10077/week @ 2020-12-14 9307/week @ 2020-12-21 9498/week @ 2020-12-28 10360/week @ 2021-01-04 10777/week @ 2021-01-11 9936/week @ 2021-01-18 10633/week @ 2021-01-25 10268/week @ 2021-02-01 8527/week @ 2021-02-08 10138/week @ 2021-02-15 10056/week @ 2021-02-22

41,835 downloads per month
Used in 15 crates (3 directly)

Apache-2.0/MIT

750KB
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
~64K SLoC