Index of /slackbuilds.org/14.2/academic/cvc4

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc4.SlackBuild	05-Sep-2020 10:31	3.4K
	cvc4.info	05-Sep-2020 10:31	417
	run-antlr	27-Apr-2019 10:31	67
	slack-desc	12-Jan-2020 10:55	1.0K