Class GroundReasoner

    • Constructor Detail

      • GroundReasoner

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