Satisfiability solver: All Files - File Exchange

Code covered by the BSD License

from Satisfiability solver by Zhi Han
A satisfiability solver using the classical Davis-Putnam algorithm.

All files for Satisfiability solver
/example1.m /example2.m /example3.m /example4.m /example5.m /license.txt /sat_cnf.m /satisfy.m