Class LpSolve
java.lang.Object
org.tweetyproject.math.opt.solver.Solver
org.tweetyproject.math.opt.solver.LpSolve
This class implements a wrapper to the lpsolve binary
for mixed integer linear programming. See http://lpsolve.sourceforge.net.
it uses LpSolve Version 5.5.2.5 (https://sourceforge.net/projects/lpsolve/)
- Author:
- Matthias Thimm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic boolean
static void
Sets the path to the binary.Computes a solution to the given constraint satisfaction or optimization problem, i.e.Methods inherited from class org.tweetyproject.math.opt.solver.Solver
getDefaultGeneralSolver, getDefaultIntegerLinearSolver, getDefaultLinearSolver, hasDefaultGeneralSolver, hasDefaultIntegerLinearSolver, hasDefaultLinearSolver, setDefaultGeneralSolver, setDefaultIntegerLinearSolver, setDefaultLinearSolver
-
Constructor Details
-
LpSolve
public LpSolve()
-
-
Method Details
-
isInstalled
- Returns:
- if solver is installed
- Throws:
UnsupportedOperationException
- UnsupportedOperationException
-
solve
Description copied from class:Solver
Computes a solution to the given constraint satisfaction or optimization problem, i.e. a mapping from variables of the problem to terms. -
setBinary
Sets the path to the binary.- Parameters:
binary
- the path to the binary.
-