diff options
| author | Alan Aversa <aveNOrsa@email.ariSPAMzona.edu> | 2018-09-14 09:26:36 +0100 |
|---|---|---|
| committer | David Spencer <idlemoor@slackbuilds.org> | 2018-09-14 09:26:36 +0100 |
| commit | c441188f8df3d180729f58dcc7f882a738cf4a42 (patch) | |
| tree | 2c0c92ca74c8f32415b6684d5fb78a7c197fad4f /academic/cryptominisat/cryptominisat.info | |
| parent | 75f3f030e1844487aae7a4ad69e1482ca782118b (diff) | |
academic/cryptominisat: Added (SAT solver).
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'academic/cryptominisat/cryptominisat.info')
| -rw-r--r-- | academic/cryptominisat/cryptominisat.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/academic/cryptominisat/cryptominisat.info b/academic/cryptominisat/cryptominisat.info new file mode 100644 index 0000000000000..fb235a35e9995 --- /dev/null +++ b/academic/cryptominisat/cryptominisat.info @@ -0,0 +1,10 @@ +PRGNAM="cryptominisat" +VERSION="5.6.5" +HOMEPAGE="https://www.msoos.org/cryptominisat5/" +DOWNLOAD="https://github.com/msoos/cryptominisat/archive/5.6.5/cryptominisat-5.6.5.tar.gz" +MD5SUM="da3c44c7750842db4bd42c17f74387f4" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="" +MAINTAINER="Alan Aversa" +EMAIL="aveNOrsa@email.ariSPAMzona.edu" |