/satyros

SATyros, small SAT/SMT sovler library for step-by-step solving

Primary LanguageHaskellMIT LicenseMIT

Satyros: Step-by-step SAT/SMT solver for educational purposes

This library is a Haskell core of this SMT solver tutorial.