../ README 31-Aug-2024 06:08 525 cvc4.SlackBuild 31-Aug-2024 06:08 3860 cvc4.info 31-Aug-2024 06:08 427 run-antlr 31-Aug-2024 06:08 67 slack-desc 31-Aug-2024 06:08 1025