|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| ISATSolver | Each SAT solver need to implement only one method which takes as an input DIMACS string and returns true if it is satisfiable. |
| Class Summary | |
|---|---|
| JSAT | JSAT-based solver. |
| openSAT | OpenSAT-based solver. |
| openSATcached | OpenSAT-based caching implementation. |
| SAT4J | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||