Class LpSolve

java.lang.Object
org.tweetyproject.math.opt.solver.Solver
org.tweetyproject.math.opt.solver.LpSolve

public class LpSolve extends Solver
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 Details

    • LpSolve

      public LpSolve()
  • Method Details

    • isInstalled

      public static boolean isInstalled() throws UnsupportedOperationException
      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.
      Specified by:
      solve in class Solver
      Parameters:
      problem - the actual problem
      Returns:
      a mapping from variables of the problem to terms.
    • setBinary

      public static void setBinary(String binary)
      Sets the path to the binary.
      Parameters:
      binary - the path to the binary.