@hackage satyros0.3.1.4

Step-by-step SAT solver for educational purposes

satyros