Class SatBasedInconsistencyMeasure

    • Constructor Detail

      • SatBasedInconsistencyMeasure

        public SatBasedInconsistencyMeasure​(SatSolver solver)
        Create a new SAT-based inconsistency measure with the given SAT solver.
        Parameters:
        solver - some SAT solver
      • SatBasedInconsistencyMeasure

        public SatBasedInconsistencyMeasure()
        Create a new SAT-based inconsistency measure with the given SAT solver.