|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use DimacsArrayReader | |
|---|---|
| org.sat4j.tools | Tools to be used on top of an ISolver. |
| Uses of DimacsArrayReader in org.sat4j.tools |
|---|
| Subclasses of DimacsArrayReader in org.sat4j.tools | |
|---|---|
class |
ExtendedDimacsArrayReader
Reader for the Extended Dimacs format proposed by Fahiem Bacchus and Toby Walsh in array representation (without the terminating 0). |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||