#prolog #solver #compiler #traits

chalk-recursive

Recursive solver for the Chalk project

79 breaking releases

new 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

#32 in Programming languages

Download history 6832/week @ 2024-12-29 10296/week @ 2025-01-05 10088/week @ 2025-01-12 10600/week @ 2025-01-19 10688/week @ 2025-01-26 16544/week @ 2025-02-02 16600/week @ 2025-02-09 16900/week @ 2025-02-16 18452/week @ 2025-02-23 17634/week @ 2025-03-02 18975/week @ 2025-03-09 14740/week @ 2025-03-16 17891/week @ 2025-03-23 18822/week @ 2025-03-30 18822/week @ 2025-04-06 16194/week @ 2025-04-13

73,383 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
~121K SLoC