org.sat4j.tools
Class RemiUtils

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

public class RemiUtils
extends java.lang.Object

Class dedicated to Remi 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

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