/academic/cvc4/
../
README
cvc4.SlackBuild
cvc4.info
slack-desc