code: void addBinaryClause(final MiniSatStyleSolver s, int a, int b) {
      this.addBinaryClause(s, a, b, LIT_UNDEF);
    }
docs: Adds a binary clause to the given SAT solver.
  @param s the sat solver
  @param a the first literal
  @param b the second literal