S-SAT - Sapienza SAT

Introduction | Documentation | Download | Contact

Introduction

S-SAT is a basic sat solver based on unit propagation and backtracking. It was assigned to me as a project for the C Programming Laboratory at University "La Sapienza"of Rome during the academic year 2007-08.

The development of the basic solver has already been terminated. Only backtracking is still to be developed and I plan to finish it by the beginning of June. Unfortunatelly I can't release the all project until July(as it is going to be the subject of my examination). After then, of course, I'll make it availvabe on sourceforge for further development.