public static Tristate searchSATSolver ( final MiniSatStyleSolver s , final SATHandler handler , final LNGIntVector assumptions ) { return s . solve ( handler , assumptions ) ; }
Solves the formula that is currently loaded in the SAT solver with a set of assumptions .