public class GlpkSolver extends Solver
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
binary
Path to the binary or lp_solve
|
private static java.io.File |
tmpFolder
For temporary files.
|
Constructor and Description |
---|
GlpkSolver() |
Modifier and Type | Method and Description |
---|---|
static boolean |
isInstalled() |
static void |
setBinary(java.lang.String binary)
Sets the path to the binary.
|
static void |
setTmpFolder(java.io.File path)
Sets the path for the temporary folder.
|
java.util.Map<Variable,Term> |
solve(ConstraintSatisfactionProblem problem)
Computes a solution to the given constraint satisfaction or optimization problem, i.e.
|
getDefaultGeneralSolver, getDefaultIntegerLinearSolver, getDefaultLinearSolver, hasDefaultGeneralSolver, hasDefaultIntegerLinearSolver, hasDefaultLinearSolver, setDefaultGeneralSolver, setDefaultIntegerLinearSolver, setDefaultLinearSolver
public static java.lang.String binary
private static java.io.File tmpFolder
public static boolean isInstalled() throws java.lang.UnsupportedOperationException
java.lang.UnsupportedOperationException
public java.util.Map<Variable,Term> solve(ConstraintSatisfactionProblem problem) throws GeneralMathException
Solver
solve
in class Solver
problem
- the actual problemGeneralMathException
- if something went wrong.public static void setBinary(java.lang.String binary)
binary
- the path to the binary.public static void setTmpFolder(java.io.File path)
path
- some path.