#traits #compiler #prolog

chalk-recursive

Recursive solver for the Chalk project

81 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

#163 in Algorithms

Download history 10086/week @ 2025-10-13 9034/week @ 2025-10-20 9619/week @ 2025-10-27 8111/week @ 2025-11-03 8520/week @ 2025-11-10 9607/week @ 2025-11-17 8487/week @ 2025-11-24 7832/week @ 2025-12-01 6688/week @ 2025-12-08 6729/week @ 2025-12-15 5104/week @ 2025-12-22 5227/week @ 2025-12-29 11038/week @ 2026-01-05 12651/week @ 2026-01-12 12489/week @ 2026-01-19 15728/week @ 2026-01-26

52,658 downloads per month
Used in 23 crates (via zetac)

MIT/Apache

1MB
17K SLoC

A crate housing the recursive solver for chalk.

See Github for up-to-date information.

Dependencies

~8–13MB
~160K SLoC