Class CompleteReasoner

    • Constructor Detail

      • CompleteReasoner

        public CompleteReasoner​(IncrementalSatSolver solver)
        Parameters:
        solver - the solver to use