资 源 简 介
A GUI for preprocessor and SAT solver I did for my TER at University of
Artois, France, in 2010.
The aim of this project is to provide a GUI for SAT resolution tools that will simplify the use of this kind of program :
- no command line
- graphic represention of the CNF and preprocessor execution
- access to CNF statistic
- possibilty to save all your operation in a session of work and reload it later
- possibility to import solver that are not integrated in the application if they respect the satcompetition requirement http://www.satcompetition.org/2009/format-solvers2009.html
and to save them for your next sessions
It allows you to lunch preprocessor or solver on a CNF and to have access to a graphic represention and a maximum of usefull informations about them.
New version is available that fix some bugs !!