============================
 to3SAT file.cnf > out.cnf
============================
  Pren l'arxiu file.cnf i escriu en out.cnf una frmula equisatisfactible que noms cont clusules ternries i unitries.

  S'adjunta tamb el codi font en cas que tingueu problemes de portabilitat.
  Per a compilar: g++ to3SAT.cpp -o to3SAT


