org.sosy_lab.java_smt.example

Class MaximizeCo2

java.lang.Object

org.sosy_lab.java_smt.example.MaximizeCo2

public class MaximizeCo2
extends Object

Example for optimizing 'x' with some constraints.

Constructor Summary

Constructors

Constructor and Description
MaximizeCo2()

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

MaximizeCo2

public MaximizeCo2()

Method Detail

main

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

Throws:

InvalidConfigurationException

SolverException

InterruptedException