satyros (hackage): Satyros is a step-by-step SAT solver for educational purposes, based on free monad and its interpretation.
Keywords: language|library|mit