diff options
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 |