Tiger Solver is a sat-solver written in C. Using the DPLL algorithm and reading file in DIMACS format (cnf boolean expression). Tiger Solver use most features of many important sat-solver: - Double watches list - Chronological Backtracking ....
Use Patent Claims
Include Install Instructions
These details are provided for information only. No information here is legal advice and should not be used as such.