A constraint solver for finite domains, written in Haskell.
Why do you think that https://github.com/jsnajder/genprog is a good alternative to finito
A constraint solver for finite domains, written in Haskell.
Why do you think that https://github.com/jsnajder/genprog is a good alternative to finito