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