This library is a Haskell core of this SMT solver tutorial.
SATyros, small SAT/SMT sovler library for step-by-step solving
This library is a Haskell core of this SMT solver tutorial.
SATyros, small SAT/SMT sovler library for step-by-step solving
MIT License