Class NaiveReasoner

    • Constructor Detail

      • NaiveReasoner

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