| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README | 163 | logplain |
| d--------- | competitions | 103 | logplain |
| -rw-r--r-- | cvc-devel.el | 5182 | logplain |
| -rw-r--r-- | cvc-mode.el | 25000 | logplain |
| -rw-r--r-- | cvc5_strict_smtlib | 324 | logplain |
| -rwxr-xr-x | get-abc | 1529 | logplain |
| -rwxr-xr-x | get-authors | 2569 | logplain |
| -rwxr-xr-x | get-drat2er | 468 | logplain |
| -rwxr-xr-x | get-glpk-cut-log | 1177 | logplain |
| -rwxr-xr-x | get-lfsc-checker | 3696 | logplain |
| -rw-r--r-- | get-script-header.sh | 2658 | logplain |
| -rw-r--r-- | glpk-cut-log.patch | 51144 | logplain |
| -rwxr-xr-x | learn_resource_weights.py | 6875 | logplain |
| -rwxr-xr-x | make-release.py | 3647 | logplain |
| -rwxr-xr-x | update-copyright.pl | 8621 | logplain |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback