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

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] run-antlr                           2022-03-10 23:34   67   
[   ] cvc4.info                           2023-12-01 18:59  427   
[   ] README                              2022-03-10 23:34  525   
[   ] slack-desc                          2022-03-10 23:34  1.0K  
[   ] cvc4.SlackBuild                     2022-03-10 23:34  3.8K