org.sat4j.tools
Class RemiUtils

java.lang.Object
  extended by org.sat4j.tools.RemiUtils

public class RemiUtils
extends java.lang.Object

Class dedicated to Rémi Coletta utility methods :-)

Author:
leberre

Method Summary
static IVecInt backbone(ISolver s)
          Compute the set of literals common to all models of the formula.
 
Methods inherited from class java.lang.Object
equals, 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