code: protected Tristate value(int lit) {
      return sign(lit) ? Tristate.negate(this.v(lit).assignment()) : this.v(lit).assignment();
    }
docs: Returns the assigned value of a given literal.
  @param lit the literal
  @return the assigned value of the literal