|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use it.unitn.disi.smatch.deciders | |
|---|---|
| it.unitn.disi.smatch.deciders | |
| it.unitn.disi.smatch.matchers.structure.node | |
| Classes in it.unitn.disi.smatch.deciders used by it.unitn.disi.smatch.deciders | |
|---|---|
| ISATSolver
Each SAT solver need to implement only one method which takes as an input DIMACS string and returns true if it is satisfiable. |
|
| Classes in it.unitn.disi.smatch.deciders used by it.unitn.disi.smatch.matchers.structure.node | |
|---|---|
| ISATSolver
Each SAT solver need to implement only one method which takes as an input DIMACS string and returns true if it is satisfiable. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||