diff options
author | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:07:13 -0700 |
---|---|---|
committer | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:07:13 -0700 |
commit | 146db4caba235a0cbd55b2877b1e664d85187a42 (patch) | |
tree | 6f6538fc188aab08d51ca90e287e6983fc1f7fff /cryptominisat5/cryptominisat-5.6.3/scripts/aws/README.markdown | |
parent | 5cfc2d1c7a3bd6acaa26a0a8e7dda12b6bbf17b4 (diff) |
clean up
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/scripts/aws/README.markdown')
-rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/scripts/aws/README.markdown | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/scripts/aws/README.markdown b/cryptominisat5/cryptominisat-5.6.3/scripts/aws/README.markdown deleted file mode 100644 index a46aa0852..000000000 --- a/cryptominisat5/cryptominisat-5.6.3/scripts/aws/README.markdown +++ /dev/null @@ -1,14 +0,0 @@ -Testing in AWS -=========================================== - -Only use - -``` -./launch_server.py --help -``` - -The other scripts are all used by this script. Lists of files to be solved are in files: - -* satcomp14 -* satcomp091113 -* satcomp16 |