../ README 20-Apr-2024 15:02 525 cvc4.SlackBuild 20-Apr-2024 15:02 3860 cvc4.info 20-Apr-2024 15:02 427 run-antlr 20-Apr-2024 15:02 67 slack-desc 20-Apr-2024 15:02 1025