org.kahina.logic.sat.io.free

Class UnsatInstanceGenerator

java.lang.Object

org.kahina.logic.sat.io.free.UnsatInstanceGenerator

public class UnsatInstanceGenerator
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
UnsatInstanceGenerator()

Method Summary

Methods

Modifier and Type	Method and Description
static BooleanFormula	generateUnsatInstance(int numVars, int maxHeight, double[] fanProb, boolean complete)
static BooleanFormula	generateUnsatInstance(int numVars, int maxHeight, int maxFan, boolean complete)
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

Constructor Detail

UnsatInstanceGenerator

public UnsatInstanceGenerator()

Method Detail

generateUnsatInstance

public static BooleanFormula generateUnsatInstance(int numVars,
                                   int maxHeight,
                                   int maxFan,
                                   boolean complete)

generateUnsatInstance

public static BooleanFormula generateUnsatInstance(int numVars,
                                   int maxHeight,
                                   double[] fanProb,
                                   boolean complete)

main

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