diff options
| author |   Nick Smallbone <nick@smallbone.se> | 2019-03-23 07:25:53 +0700 |
|---|---|---|
| committer |   Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2019-03-23 07:25:53 +0700 |
| commit | a2e13bb161cb7663a1f2ecf371e4e2c6a5fc6cf2 (patch) | |
| tree | 05fb1ecb2d857a105831dddd49639b81c67abafd /academic/z3/z3.info | |
| parent | 2cfe3736aead301f8d4ff51117fdba1fb4134712 (diff) | |
| download | slackbuilds-a2e13bb161cb7663a1f2ecf371e4e2c6a5fc6cf2.tar.gz slackbuilds-a2e13bb161cb7663a1f2ecf371e4e2c6a5fc6cf2.tar.xz | |
academic/z3: Added (theorem solver).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to '')
| -rw-r--r-- | academic/z3/z3.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/academic/z3/z3.info b/academic/z3/z3.info new file mode 100644 index 0000000000..b193eeb6d8 --- /dev/null +++ b/academic/z3/z3.info @@ -0,0 +1,10 @@ +PRGNAM="z3" +VERSION="4.8.4" +HOMEPAGE="https://github.com/Z3Prover/z3/wiki" +DOWNLOAD="https://github.com/Z3Prover/z3/archive/z3-4.8.4.tar.gz" +MD5SUM="b74bbb04e90c034125fe9e01988add95" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="" +MAINTAINER="Nick Smallbone" +EMAIL="nick@smallbone.se" |