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