Interface SolutionListener

    • Method Detail

      • onSolution

        void onSolution​(boolean satisfiable)
        a handler called when a solution is found.
        Parameters:
        satisfiable - true when the solution is Satisfiable, false if it is Unsatisfiable.