Toy SMT solver written in Haskell - View it on GitHub