1 package org.sat4j.tools.xplain;
2
3 import org.sat4j.specs.TimeoutException;
4
5 public interface Explainer {
6
7 int[] minimalExplanation() throws TimeoutException;
8
9 void setMinimizationStrategy(MinimizationStrategy explainer);
10 }