| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | abz5_1400.smtv1.smt2 | 35348 | logplain |
| -rw-r--r-- | arith-int-098.cvc | 369 | logplain |
| -rw-r--r-- | lpsat-goal-9.smt2 | 133404 | logplain |
| -rw-r--r-- | miplib-opt1217--27.smt2 | 223944 | logplain |
| -rw-r--r-- | miplib-pp08a-3000.smt2 | 70453 | logplain |
| -rw-r--r-- | prp-13-24.smt2 | 49677 | logplain |
| -rw-r--r-- | pursuit-safety-11.smtv1.smt2 | 34845 | logplain |
| -rw-r--r-- | pursuit-safety-12.smtv1.smt2 | 38068 | logplain |
| -rw-r--r-- | real2int-test.smt2 | 995 | logplain |
| -rw-r--r-- | sc-7.base.cvc.smtv1.smt2 | 17122 | logplain |
| -rw-r--r-- | uart-8.base.cvc.smtv1.smt2 | 36066 | 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