org.sosy_lab.java_smt.example

Class OptimizationFormulaWeights

java.lang.Object

org.sosy_lab.java_smt.example.OptimizationFormulaWeights

public class OptimizationFormulaWeights
extends Object

Example for optimizing the weight of some constraints. For a given set of formulas, the weight of the satisfied formulas should be maximal and the weight of unsatisfied formulas should be minimal.

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

Method Detail

main

public static void main(String... args)
                 throws InvalidConfigurationException,
                        SolverException,
                        InterruptedException

Throws:

InvalidConfigurationException

SolverException

InterruptedException