Package org.sat4j.maxsat.reader

Some utility classes to read problems from plain text files.

See:
          Description

Class Summary
WDimacsReader Simple reader for the weighted maxsat problem.
 

Package org.sat4j.maxsat.reader Description

Some utility classes to read problems from plain text files.



Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.