Twist your logic with TouIST

Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet +4

SAT provers are powerful tools for solving real-sized logic problems, but using them requires solid programming knowledge and may be seen w.r.t.\ logic like assembly language w.r.t…