| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | abz5_1400.smt | 34170 | 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 | 49612 | logplain |
| -rw-r--r-- | pursuit-safety-11.smt | 37899 | logplain |
| -rw-r--r-- | pursuit-safety-12.smt | 41373 | logplain |
| -rw-r--r-- | qlock-4-10-9.base.cvc.smt2 | 133404 | logplain |
| -rw-r--r-- | real2int-test.smt2 | 995 | logplain |
| -rw-r--r-- | sc-7.base.cvc.smt | 17241 | logplain |
| -rw-r--r-- | uart-8.base.cvc.smt | 36841 | 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