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

	Name	Last modified	Size	Description
	Parent Directory		-
	README	2020-09-05 03:31	525
	cvc4.SlackBuild	2020-09-05 03:31	3.4K
	cvc4.info	2020-09-05 03:31	417
	run-antlr	2019-04-27 03:31	67
	slack-desc	2020-01-12 02:55	1.0K

Current bandwidth utilization 29.47 Mbit/s