academic/cvc4/cvc4.info


1
2
3
4
5
6
7
8
9
10

PRGNAM="cvc4"
VERSION="1.6"
HOMEPAGE="https://cvc4.cs.stanford.edu/"
DOWNLOAD="https://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.6.tar.gz"
MD5SUM="aac9f3725d2247bcf5dcb87bbbbdf5bb"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES="libantlr3c"
MAINTAINER="Nick Smallbone"
EMAIL="nick@smallbone.se"