Class Sat4jSolver

    • Constructor Detail

      • Sat4jSolver

        public Sat4jSolver​(int maxvar,
                           int nbclauses)
        Creates a new solver with the given parameters.
        Parameters:
        maxvar - Max number of variables for this solver.
        nbclauses - Max number of expected clauses for this solver.
      • Sat4jSolver

        public Sat4jSolver()
        Creates a new solver with default parameters (maxvar=1000000, nbclauses=500000).