GitHub repository: 0x6a62/constraint-solving
Primary language: Zig
Description: Constraint solving algorithms