public final class RemiUtils
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static IVecInt |
backbone(ISolver s)
Compute the set of literals common to all models of the formula.
|
public static IVecInt backbone(ISolver s) throws TimeoutException
s
- a solver already feededTimeoutException