INESC solver for CUDF instances (Paranoid track)
------------------------------------------------
a SAT-based solver using the p2cudf parser (from Eclipse, available from http://wiki.eclipse.org/Equinox/p2/CUDFResolver) and the MaxSAT solver MSUnCore (available from http://www.csi.ucd.ie/staff/jpms/soft)

For the **paranoid** optimization criteria you should use the following command:
$ ./inescp-1.0 <input-instance.cudf> <output-file>

Contributors:
Ines Lynce, INESC-ID Lisboa, ines@sat.inesc-id.pt
Josep Argelich, Universitat de Lleida, jargelich@diei.udl.cat
Joao Marques-Silva, University College Dublin, jpms@ucd.ie

Remarks:
- The timeout of the solver is 300 seconds.
- The executables are suitable for a 32 bit machine running Linux.


