org.sat4j.tools

Class RemiUtils

java.lang.Object

org.sat4j.tools.RemiUtils

public final class RemiUtils
extends java.lang.Object

Class dedicated to Remi Coletta utility methods :-)

Author:

leberre

Method Summary

Modifier and Type	Method and Description
static IVecInt	backbone(ISolver s) Compute the set of literals common to all models of the formula.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

backbone

public static IVecInt backbone(ISolver s)
                        throws TimeoutException

Compute the set of literals common to all models of the formula.

Parameters:

s - a solver already feeded

Returns:

the set of literals common to all models of the formula contained in the solver, in dimacs format.

Throws:

TimeoutException