| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | all-logic.smt2 | 105 | logplain |
| -rw-r--r-- | coeff-sat.smt2 | 236 | logplain |
| -rw-r--r-- | ext-rew-aggr-test.smt2 | 8691 | logplain |
| -rw-r--r-- | issue3003.smt2 | 602 | logplain |
| -rw-r--r-- | issue3407.smt2 | 170 | logplain |
| -rw-r--r-- | issue3411.smt2 | 184 | logplain |
| -rw-r--r-- | issue3475.smt2 | 135 | logplain |
| -rw-r--r-- | issue3652.smt2 | 195 | logplain |
| -rw-r--r-- | issue3719.smt2 | 103 | logplain |
| -rw-r--r-- | magnitude-wrong-1020-m.smt2 | 2580 | logplain |
| -rw-r--r-- | mult-po.smt2 | 330 | logplain |
| -rw-r--r-- | nia-wrong-tl.smt2 | 1224 | logplain |
| -rw-r--r-- | nlExtPurify-test.smt2 | 843 | logplain |
| d--------- | nta | 397 | logplain |
| -rw-r--r-- | real-as-int.smt2 | 234 | logplain |
| -rw-r--r-- | real-div-ufnra.smt2 | 275 | logplain |
| -rw-r--r-- | sin-cos-346-b-chunk-0169.smt2 | 649 | logplain |
| -rw-r--r-- | sqrt.smt2 | 576 | logplain |
| -rw-r--r-- | sqrt2-value.smt2 | 201 | logplain |
| -rw-r--r-- | subs0-unsat-confirm.smt2 | 378 | logplain |
| -rw-r--r-- | very-easy-sat.smt2 | 1036 | logplain |
| -rw-r--r-- | very-simple-unsat.smt2 | 288 | 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