#traits #prolog #compiler

chalk-solve

Combines the chalk-engine with chalk-ir

88 breaking releases

0.104.0 Aug 6, 2025
0.103.0 Jun 1, 2025
0.102.0 Apr 20, 2025
0.100.0 Mar 9, 2025
0.19.0 Jul 26, 2020

#444 in Database interfaces

Download history 8528/week @ 2025-11-03 8944/week @ 2025-11-10 10437/week @ 2025-11-17 10817/week @ 2025-11-24 8012/week @ 2025-12-01 7584/week @ 2025-12-08 6850/week @ 2025-12-15 5156/week @ 2025-12-22 5267/week @ 2025-12-29 11081/week @ 2026-01-05 12669/week @ 2026-01-12 12596/week @ 2026-01-19 16092/week @ 2026-01-26 15266/week @ 2026-02-02 17702/week @ 2026-02-09 16923/week @ 2026-02-16

67,323 downloads per month
Used in 25 crates (3 directly)

MIT/Apache

800KB
16K SLoC

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

See Github for up-to-date information.

Dependencies

~8–13MB
~154K SLoC