blob: 7442b8eb2fc8bb7a56f2bbcdec22cedfd878f507 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
SPELL=z3
VERSION=4.8.13
SOURCE=$SPELL-$VERSION.tar.gz
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$SPELL-$VERSION"
WEB_SITE=https://github.com/Z3Prover/z3
SOURCE_URL=$WEB_SITE/archive/$SOURCE
SOURCE_HASH=sha512:c5e8f34525ed3b6b2935d7f01ce2f90f5dd99b4cdd035664b36c967fb1c7f3b05abed45c7288e2261723e73d68728ee91a0f67d92012d86b04598d7b54369c30
LICENSE=(MIT)
SHORT="The Z3 Theorem Prover"
cat << EOF
Z3 is an SMT solver and supports the SMTLIB format.
EOF
|