Index of /cvc4/

Icon  Name                                    Last modified      Size  
[PARENTDIR] Parent Directory - [   ] cvc4-1.4_2.darwin_9.ppc.tbz2 2018-02-16 21:22 16M [   ] cvc4-1.4_2.darwin_9.ppc.tbz2.rmd160 2018-02-16 21:22 512 [   ] cvc4-1.4_2.darwin_13.x86_64.tbz2 2018-02-16 20:42 14M [   ] cvc4-1.4_2.darwin_13.x86_64.tbz2.rmd160 2018-02-16 20:42 512 [   ] cvc4-1.4_2.darwin_14.x86_64.tbz2 2018-02-16 21:36 14M [   ] cvc4-1.4_2.darwin_14.x86_64.tbz2.rmd160 2018-02-16 21:36 512 [   ] cvc4-1.4_2.darwin_15.x86_64.tbz2 2018-02-16 21:52 14M [   ] cvc4-1.4_2.darwin_15.x86_64.tbz2.rmd160 2018-02-16 21:52 512 [   ] cvc4-1.4_2.darwin_16.x86_64.tbz2 2018-02-17 01:26 14M [   ] cvc4-1.4_2.darwin_16.x86_64.tbz2.rmd160 2018-02-17 01:26 512 [   ] cvc4-1.4_2.darwin_17.x86_64.tbz2 2018-02-16 21:09 14M [   ] cvc4-1.4_2.darwin_17.x86_64.tbz2.rmd160 2018-02-16 21:09 512 [   ] cvc4-1.4_2.darwin_18.x86_64.tbz2 2018-10-20 23:25 15M [   ] cvc4-1.4_2.darwin_18.x86_64.tbz2.rmd160 2018-10-20 23:25 512