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

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] README                              2020-09-05 01:31  525   
[   ] cvc4.SlackBuild                     2020-09-05 01:31  3.4K  
[   ] cvc4.info                           2020-09-05 01:31  417   
[   ] run-antlr                           2019-04-27 01:31   67   
[   ] slack-desc                          2020-01-12 01:55  1.0K