org.sat4j.pb.tools

Class OpbToDimacsWriter

java.lang.Object

org.sat4j.pb.tools.OpbToDimacsWriter

public class OpbToDimacsWriter
extends Object

This util class allow to translate an OPB file into multiple CNF file, where atMost constraints are translated through multiple encodings

Author:

lonca

Constructor Summary

Constructors

Constructor and Description
OpbToDimacsWriter(String[] args)

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OpbToDimacsWriter

public OpbToDimacsWriter(String[] args)
                  throws ParseFormatException,
                         IOException,
                         ContradictionException

Throws:

ParseFormatException

IOException

ContradictionException

Method Detail

main

public static void main(String[] args)
                 throws ParseFormatException,
                        IOException,
                        ContradictionException

Throws:

ParseFormatException

IOException

ContradictionException