diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-07-08 17:25:12 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-07-08 17:25:12 +0000 |
| commit | 02338930d0e92190c7c27a350a527db2c1b5c040 (patch) | |
| tree | dd59d108af77c0f0642995fcd140e14ddd736acd /src | |
| parent | 8a0dcb9cb4bbf83f03b31343eaa6437ae829f1c9 (diff) | |
I am adding my smt-crunch scripts to source control. Others may find them useful. To use them, log into goedel, sudo su acsys-user, and run ./cluster-script PATH_TO_EXECUTABLE. Be sure to change the email address in the script before using it. Improvements are of course welcome.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions