org.kahina.logic.sat.muc.test

Class MinUnsatCore

java.lang.Object

org.kahina.logic.sat.muc.test.MinUnsatCore

public class MinUnsatCore
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	kahina
static boolean	VERBOSE

Constructor Summary

Constructors

Constructor and Description
MinUnsatCore()

Method Summary

Methods

Modifier and Type	Method and Description
static void	computeMUC(java.lang.String sourceFileName, java.lang.String targetFileName, boolean group, long timeout)
static java.util.List<java.lang.Integer>	computeRandomMUCs(int numMUCs, java.lang.String sourceFileName, java.lang.String targetFileName, boolean group, long timeout)
static void	main(java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Field Detail

kahina

public static boolean kahina

VERBOSE

public static final boolean VERBOSE

See Also:

Constant Field Values

Constructor Detail

MinUnsatCore

public MinUnsatCore()

Method Detail

computeRandomMUCs

public static java.util.List<java.lang.Integer> computeRandomMUCs(int numMUCs,
                                                  java.lang.String sourceFileName,
                                                  java.lang.String targetFileName,
                                                  boolean group,
                                                  long timeout)

computeMUC

public static void computeMUC(java.lang.String sourceFileName,
              java.lang.String targetFileName,
              boolean group,
              long timeout)

main

public static void main(java.lang.String[] args)

Parameters:

args -