#compiler #traits #prolog

chalk-solve

Combines the chalk-engine with chalk-ir

51 breaking releases

new 0.67.0 May 16, 2021
0.65.0 Apr 25, 2021
0.63.0 Mar 28, 2021
0.46.0 Dec 27, 2020
0.19.0 Jul 26, 2020

#10 in Emulators

Download history 10821/week @ 2021-01-21 9924/week @ 2021-01-28 9939/week @ 2021-02-04 8704/week @ 2021-02-11 10871/week @ 2021-02-18 10381/week @ 2021-02-25 10342/week @ 2021-03-04 10516/week @ 2021-03-11 9809/week @ 2021-03-18 10932/week @ 2021-03-25 11436/week @ 2021-04-01 10047/week @ 2021-04-08 10164/week @ 2021-04-15 11183/week @ 2021-04-22 11780/week @ 2021-04-29 9269/week @ 2021-05-06

45,013 downloads per month
Used in 20 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.1–3MB
~63K SLoC