#compiler #traits #prolog

chalk-solve

Combines the chalk-engine with chalk-ir

7 releases (breaking)

✓ Uses Rust 2018 edition

new 0.17.0 Jul 12, 2020
0.16.0 Jul 5, 2020
0.15.0 Jun 28, 2020
0.14.0 Jun 21, 2020
0.10.0 Apr 30, 2020

#6 in #traits

Download history 40/week @ 2020-04-27 2091/week @ 2020-05-04 9899/week @ 2020-05-11 8725/week @ 2020-05-18 9576/week @ 2020-05-25 9344/week @ 2020-06-01 10187/week @ 2020-06-08 9119/week @ 2020-06-15 8569/week @ 2020-06-22 10401/week @ 2020-06-29

30,165 downloads per month
Used in 2 crates

Apache-2.0/MIT

625KB
13K SLoC

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

See Github for up-to-date information.

Dependencies

~1.8–2.5MB
~52K SLoC