Class StableReasoner

    • Constructor Detail

      • StableReasoner

        public StableReasoner​(IncrementalSatSolver solver)
        Parameters:
        solver - the underlying sat solver