#traits #prolog #compiler #solver

chalk-recursive

Recursive solver for the Chalk project

79 breaking releases

0.102.0 Apr 20, 2025
0.100.0 Mar 9, 2025
0.98.0 Jul 7, 2024
0.96.0 Jan 7, 2024
0.19.0 Jul 26, 2020

#20 in Programming languages

Download history 10677/week @ 2025-01-08 10307/week @ 2025-01-15 10470/week @ 2025-01-22 13254/week @ 2025-01-29 16162/week @ 2025-02-05 16807/week @ 2025-02-12 17499/week @ 2025-02-19 18559/week @ 2025-02-26 17820/week @ 2025-03-05 17503/week @ 2025-03-12 16119/week @ 2025-03-19 17812/week @ 2025-03-26 19146/week @ 2025-04-02 19735/week @ 2025-04-09 15209/week @ 2025-04-16 15681/week @ 2025-04-23

73,005 downloads per month
Used in 26 crates (via ra_ap_hir_ty)

MIT/Apache

1MB
17K SLoC

A crate housing the recursive solver for chalk.

See Github for up-to-date information.

Dependencies

~3–12MB
~123K SLoC