#compiler #prolog #traits

chalk-recursive

Recursive solver for the Chalk project

77 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

#92 in Algorithms

Download history 9261/week @ 2024-11-19 9356/week @ 2024-11-26 10594/week @ 2024-12-03 10419/week @ 2024-12-10 9083/week @ 2024-12-17 6639/week @ 2024-12-24 7219/week @ 2024-12-31 10691/week @ 2025-01-07 10203/week @ 2025-01-14 10451/week @ 2025-01-21 11944/week @ 2025-01-28 16481/week @ 2025-02-04 16847/week @ 2025-02-11 17008/week @ 2025-02-18 18737/week @ 2025-02-25 14490/week @ 2025-03-04

69,756 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–11MB
~120K SLoC