1 code implementation • 14 Jul 2015 • Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris, Mael Valais
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.\ programming.