Update SAT object

  - Add function to convert literal (2*v or 2*v+1) to a readable literal string (with possible negation).