Open Hub
Open Hub
 

Managed Projects

Tiger Solver

  Analyzed almost 2 years ago

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 ....

917 lines of code

0 current contributors

about 17 years since last commit

0 users on Open Hub

Activity Not Available
5.0
 
0 Reviews
I Use This
Mostly written in C
Licenses: gpl3_or_l...