/salix/sbo/14.2/academic/cvc4/</h1>
<table id="list"><thead><tr><th style="width:55%"><a href="?C=N&amp;O=A">File Name</a>&nbsp;<a href="?C=N&amp;O=D">&nbsp;&darr;&nbsp;</a></th><th style="width:20%"><a href="?C=S&amp;O=A">File Size</a>&nbsp;<a href="?C=S&amp;O=D">&nbsp;&darr;&nbsp;</a></th><th style="width:25%"><a href="?C=M&amp;O=A">Date</a>&nbsp;<a href="?C=M&amp;O=D">&nbsp;&darr;&nbsp;</a></th></tr></thead>
<tbody><tr><td class="link"><a href="../?C=S&amp;O=D">Parent directory/</a></td><td class="size">-</td><td class="date">-</td></tr>
<tr><td class="link"><a href="cvc4.SlackBuild" title="cvc4.SlackBuild">cvc4.SlackBuild</a></td><td class="size">               3523</td><td class="date">2020-Sep-05 01:31</td></tr>
<tr><td class="link"><a href="slack-desc" title="slack-desc">slack-desc</a></td><td class="size">               1025</td><td class="date">2020-Jan-12 01:55</td></tr>
<tr><td class="link"><a href="README" title="README">README</a></td><td class="size">                525</td><td class="date">2020-Sep-05 01:31</td></tr>
<tr><td class="link"><a href="cvc4.info" title="cvc4.info">cvc4.info</a></td><td class="size">                417</td><td class="date">2020-Sep-05 01:31</td></tr>
<tr><td class="link"><a href="run-antlr" title="run-antlr">run-antlr</a></td><td class="size">                 67</td><td class="date">2019-Apr-27 01:31</td></tr>
</tbody></table><br />Open Source Mirror funded by <a href="https://acorn-ns.ca">ACORN-NS</a>, hosting provided by <a href="https://dal.ca">Dalhousie University</a> - ITS Research Computing Team