Satyros: Step-by-step SAT/SMT solver for educational purposes This library is a Haskell core of this SMT solver tutorial.