Interface Solver<T>

    • Method Detail

      • solve

        SolverResult<T> solve​(Solver.Mode mode)
        Checks whether the equation clause is satisfiable and returns a solution (if required).
        Parameters:
        mode - the solver mode.
        Returns:
        SAT if the equation clause is satisfiable; UNSAT otherwise.