Publisher review:Satisfiability Solver script is a simple lookahead satisfiability solver. Satisfiability Solver script is a simple lookahead satisfiability solver.
It reads formula from DIMACS.cnf file.
Satisfiability Solver is a Python script for Mathematics scripts design by Dufour Mark.
It runs on following operating system: Windows / Linux / Mac OS / BSD / Solaris.
Satisfiability Solver script is a simple lookahead satisfiability solver.
Operating system:Windows / Linux / Mac OS / BSD / Solaris