| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | bmc-ibm-1.smtv1.smt2 | 1845002 | logplain |
| -rw-r--r-- | bmc-ibm-2.smtv1.smt2 | 394235 | logplain |
| -rw-r--r-- | bmc-ibm-5.smtv1.smt2 | 1428542 | logplain |
| -rw-r--r-- | bmc-ibm-7.smtv1.smt2 | 1353034 | logplain |
| -rw-r--r-- | eq_diamond14.smtv1.smt2 | 2093 | logplain |
| -rw-r--r-- | friedman_n6_i4.smtv1.smt2 | 1661509 | logplain |
| -rw-r--r-- | hole9.cvc | 13887 | logplain |
| -rw-r--r-- | incorrect1.smtv1.smt2 | 122471 | logplain |
| -rw-r--r-- | issue2429.smt2 | 7934 | logplain |
| -rw-r--r-- | pp-regfile.smtv1.smt2 | 265438 | logplain |
| -rw-r--r-- | qwh.35.405.shuffled-as.sat03-1651.smtv1.smt2 | 295247 | logplain |
| -rw-r--r-- | sixfuncs.sy | 1397 | logplain |
| -rw-r--r-- | strings-any-term.sy | 367 | logplain |
| d--------- | strings | 44 | 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