code: public Tristate solve(final SATHandler handler, final LNGIntVector assumptions) {
      this.assumptions = new LNGIntVector(assumptions);
      final Tristate result = this.solve(handler);
      this.assumptions.clear();
      return result;
    }
docs: Solves the formula currently stored in the solver together with the given assumption literals.  Returns
  {@link Tristate#TRUE} if the formula and the assumptions are satisfiable (SAT), {@link Tristate#FALSE} if the formula and the
  assumptions are not satisfiable together (UNSAT), or {@link Tristate#UNDEF} if the computation was canceled by a
  {@link SATHandler}. If {@code null} is passed as handler, the solver will run until the satisfiability is decided.
  @param handler     a sat handler
  @param assumptions the assumptions as a given vector of literals
  @return {@link Tristate#TRUE} if the formula and the assumptions are satisfiable, {@link Tristate#FALSE} if they are
  not satisfiable, or {@link Tristate#UNDEF} if the computation was canceled.