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

	Name	Last modified	Size	Description
	Parent Directory		-
	README	2022-03-11 06:34	525
	cvc4.SlackBuild	2022-03-11 06:34	3.8K
	cvc4.info	2023-12-02 01:59	427
	run-antlr	2022-03-11 06:34	67
	slack-desc	2022-03-11 06:34	1.0K

Current bandwidth utilization 89.57 Mbit/s