Class GlpkSolver

    • Field Detail

      • binary

        public static java.lang.String binary
        Path to the binary or lp_solve
    • Constructor Detail

      • GlpkSolver

        public GlpkSolver()
    • Method Detail

      • isInstalled

        public static boolean isInstalled()
                                   throws java.lang.UnsupportedOperationException
        Throws:
        java.lang.UnsupportedOperationException
      • solve

        public java.util.Map<Variable,​Term> solve​(ConstraintSatisfactionProblem problem)
                                                 throws GeneralMathException
        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.
        Throws:
        GeneralMathException - if something went wrong.
      • setBinary

        public static void setBinary​(java.lang.String binary)
        Sets the path to the binary.
        Parameters:
        binary - the path to the binary.
      • setTmpFolder

        public static void setTmpFolder​(java.io.File path)
        Sets the path for the temporary folder.
        Parameters:
        path - some path.