projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a0dcb9) | patch
I am adding my smt-crunch scripts to source control. Others may find them useful...
authorTim King <taking@cs.nyu.edu>
Thu, 8 Jul 2010 17:25:12 +0000 (17:25 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 8 Jul 2010 17:25:12 +0000 (17:25 +0000)
commit02338930d0e92190c7c27a350a527db2c1b5c040
treedd59d108af77c0f0642995fcd140e14ddd736acdtree
parent8a0dcb9cb4bbf83f03b31343eaa6437ae829f1c9commit | 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.
contrib/cluster-qf_lra-benchmark [new file with mode: 0755] blob
contrib/cluster-qf_lra-full [new file with mode: 0755] blob