Class PreferredReasoner

    • Constructor Detail

      • PreferredReasoner

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