#compiler #traits #prolog #define

chalk-solve

Combines the chalk-engine with chalk-ir

84 breaking releases

new 0.100.0 Mar 9, 2025
0.98.0 Jul 7, 2024
0.96.0 Jan 7, 2024
0.95.0 Nov 19, 2023
0.19.0 Jul 26, 2020

#78 in Programming languages

Download history 9040/week @ 2024-11-23 10537/week @ 2024-11-30 10859/week @ 2024-12-07 9573/week @ 2024-12-14 6978/week @ 2024-12-21 6914/week @ 2024-12-28 10168/week @ 2025-01-04 10139/week @ 2025-01-11 10508/week @ 2025-01-18 10512/week @ 2025-01-25 16517/week @ 2025-02-01 16592/week @ 2025-02-08 17062/week @ 2025-02-15 18351/week @ 2025-02-22 17950/week @ 2025-03-01 15724/week @ 2025-03-08

71,682 downloads per month
Used in 28 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

~3–12MB
~122K SLoC