#compiler #traits #prolog

chalk-solve

Combines the chalk-engine with chalk-ir

80 breaking releases

0.96.0 Jan 7, 2024
0.95.0 Nov 19, 2023
0.94.0 Oct 8, 2023
0.92.0 Jun 30, 2023
0.19.0 Jul 26, 2020

#83 in Algorithms

Download history 10320/week @ 2023-11-04 10454/week @ 2023-11-11 10941/week @ 2023-11-18 11773/week @ 2023-11-25 11128/week @ 2023-12-02 11088/week @ 2023-12-09 10928/week @ 2023-12-16 8573/week @ 2023-12-23 8036/week @ 2023-12-30 10177/week @ 2024-01-06 10256/week @ 2024-01-13 9876/week @ 2024-01-20 8540/week @ 2024-01-27 9832/week @ 2024-02-03 10217/week @ 2024-02-10 9898/week @ 2024-02-17

39,916 downloads per month
Used in 23 crates (3 directly)

MIT/Apache

785KB
16K SLoC

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

See Github for up-to-date information.

Dependencies

~3–13MB
~133K SLoC