Using MiniSat on the Andrew machines

You can remotely connect to the Andrew machines:

Under Linux or Mac OS X, open a terminal and use ssh to connect to unix.andrew.cmu.edu.
Under Windows, use PuTTY (or some other SSH client).

Example:

$ ssh username@unix.andrew.cmu.edu
username@unix.andrew.cmu.edu's password:
 Welcome to the Carnegie Mellon University
 Linux timeshare pool
 now running Red Hat Enterprise Linux 6.1
These machines are a shared resource. Please be considerate of other users.
http://www.cmu.edu/computing/guideline/servers.html
RHN Satellite kickstart on 2011年08月18日
[username@unix37 ~]$ ~wklieber/public/MiniSat_v1.14_linux ~wklieber/public/15414/pigeon-3.cnf
==================================[MINISAT]===================================
| Conflicts | ORIGINAL | LEARNT | Progress |
| | Clauses Literals | Limit Clauses Literals Lit/Cl | |
==============================================================================
| 0 | 22 48 | 7 0 0 nan | 0.000 % |
==============================================================================
restarts : 1
conflicts : 7 (inf /sec)
decisions : 8 (inf /sec)
propagations : 55 (inf /sec)
conflict literals : 12 (7.69 % deleted)
Memory used : 1.66 MB
CPU time : 0 s
UNSATISFIABLE