Package net.sf.tweety.math.examples
Class GlpkSolverEx
- java.lang.Object
-
- net.sf.tweety.math.examples.GlpkSolverEx
-
public class GlpkSolverEx extends java.lang.Object
This class implements an example for the Glpk Solver- Author:
- Sebastian Franke
-
-
Constructor Summary
Constructors Constructor Description GlpkSolverEx()
-
Method Summary
Modifier and Type Method Description static ConstraintSatisfactionProblem
createConstraintSatProb1()
static void
main(java.lang.String[] args)
-
-
-
Method Detail
-
createConstraintSatProb1
public static ConstraintSatisfactionProblem createConstraintSatProb1()
-
main
public static void main(java.lang.String[] args) throws ParserException, java.io.IOException, GeneralMathException
- Throws:
ParserException
java.io.IOException
GeneralMathException
-
-