Haskell constraint solver with d-way branching and AC-3
Primary LanguageHaskell
No one’s star this repository yet.