Class CmdLineSatSolver

    • Constructor Detail

      • CmdLineSatSolver

        public CmdLineSatSolver​(java.lang.String binaryLocation)
        Creates a new SAT solver based on the given binary location.
        Parameters:
        binaryLocation - the location of the binary
    • Method Detail

      • isSatisfiable

        public boolean isSatisfiable​(java.util.Collection<PlFormula> formulas)
        Description copied from class: SatSolver
        Checks whether the given set of formulas is satisfiable.
        Specified by:
        isSatisfiable in class SatSolver
        Parameters:
        formulas - a set of formulas.
        Returns:
        "true" if the set is consistent.
      • addOption

        public void addOption​(java.lang.String option)
        Adds a single command line parameter. Needs to be in the correct format, usually in the form "--opt". Note: Available options can be found in the manuals of the respective solvers.
        Parameters:
        option - string
      • setOptions

        public void setOptions​(java.lang.String options)
        Sets the options parameter of the sat solver. Needs to be in the correct format, usually in the form "--opt1 --opt2", with spaces between different options. This replaces the whole options string, replacing any previously added parameters or default parameters. Note: Available options can be found in the manuals of the respective solvers.
        Parameters:
        options - string of options