mios (hackage): A SAT solver written in Haskell.
Keywords: artificial-intelligence|constraints|gpl|library|program|haskell|sat-solver