| Class | Description |
|---|---|
| CDCL | |
| Clause | |
| ClauseSet | |
| Parser |
A Class to Pars a DIMACS-File
The File will be converted into my Classes Clause and ContentTable
|
| Tuple<S1,S2> |
Einfach nur ein Tupel
|
| Variable |
| Enum | Description |
|---|---|
| Clause.ClauseState | |
| Solution | |
| Variable.State |