Folder Path
/
slackbuilds
/
15.0
/
academic
/
cvc4
/
0
directories
5
files
5.8 KiB
total
List
Grid
Name
Size
Modified
Up
cvc4.info
427 B
12/02/2023 12:59:01 AM +00:00
cvc4.SlackBuild
3.8 KiB
03/11/2022 05:34:24 AM +00:00
README
525 B
03/11/2022 05:34:24 AM +00:00
run-antlr
67 B
03/11/2022 05:34:24 AM +00:00
slack-desc
1.0 KiB
03/11/2022 05:34:24 AM +00:00