Uses of Class
org.sat4j.tools.DimacsArrayReader

Packages that use DimacsArrayReader

Package	Description
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

Modifier and Type	Class and Description
class	ExtendedDimacsArrayReader Reader for the Extended Dimacs format proposed by Fahiem Bacchus and Toby Walsh in array representation (without the terminating 0).