Lib.rs

› Programming languages
#compiler #traits #prolog #define

chalk-solve

Combines the chalk-engine with chalk-ir

by Niko Matsakis, Jack Huey, Rust Compiler Team, Chalk developers (97 contributors). Co-owned by The Rust Programming Language, rust-lang-chalk-publish-bot.

82 breaking releases

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

#32 in Programming languages

Download history 8587/week @ 2024-07-31 8850/week @ 2024-08-07 8028/week @ 2024-08-14 8543/week @ 2024-08-21 7951/week @ 2024-08-28 8149/week @ 2024-09-04 10488/week @ 2024-09-11 10015/week @ 2024-09-18 10566/week @ 2024-09-25 10567/week @ 2024-10-02 12267/week @ 2024-10-09 10871/week @ 2024-10-16 12354/week @ 2024-10-23 10701/week @ 2024-10-30 9973/week @ 2024-11-06 7511/week @ 2024-11-13

42,451 downloads per month
Used in 26 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–12MB
~118K SLoC