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

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