#compiler #traits #prolog

chalk-solve

Combines the chalk-engine with chalk-ir

25 breaking releases

new 0.36.0 Oct 29, 2020
0.34.0 Oct 18, 2020
0.19.0 Jul 26, 2020

#21 in WebAssembly

Download history 14507/week @ 2020-07-09 14570/week @ 2020-07-16 11643/week @ 2020-07-23 10900/week @ 2020-07-30 12033/week @ 2020-08-06 12145/week @ 2020-08-13 10849/week @ 2020-08-20 11774/week @ 2020-08-27 11338/week @ 2020-09-03 11563/week @ 2020-09-10 10747/week @ 2020-09-17 10926/week @ 2020-09-24 11866/week @ 2020-10-01 11779/week @ 2020-10-08 9902/week @ 2020-10-15 9187/week @ 2020-10-22

47,987 downloads per month
Used in 10 crates (3 directly)

Apache-2.0/MIT

675KB
13K 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
~66K SLoC