org.sosy_lab.java_smt.example

Class OptimizationIntReal

java.lang.Object

org.sosy_lab.java_smt.example.OptimizationIntReal

public class OptimizationIntReal
extends Object

Example for optimizing 'x' with the constraint '0 <= x < 10'. We show the difference between optimizing in integer and rational logic.

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