Index of /sbo/15.0/academic/cvc4

            _ ,,,,              _
       __    |-|-:__    ___.   |  ,  __    __  __    . ,.  ___
      (__`   |''''__)  /   `   |.(    |    |   __)    |   /___)
  |   .__)  _|_  (__|_ '.__.  _|  \_  \_/\_/  (__|_  _|_  '.__.
  |
  |__________________________________________________  | |  |_/
                                                       \_/  | \

 Name                    Last modified      Size  Description
 Parent Directory                             -    
 README                  2022-03-11 05:34  525    
 cvc4.SlackBuild         2022-03-11 05:34  3.8K   
 cvc4.info               2023-12-02 00:59  427    
 run-antlr               2022-03-11 05:34   67    
 slack-desc              2022-03-11 05:34  1.0K

Apache/2 Server at raw.slackware.uk Port 443