| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | circuit-prop.smt2 | 1440 | logplain |
| -rw-r--r-- | issue5729-rewritten-assertions.smt2 | 159 | logplain |
| -rw-r--r-- | issue5943-non-clausal-simp.smt2 | 348 | logplain |
| -rw-r--r-- | issue6754-tpp.smt2 | 112 | logplain |
| -rw-r--r-- | preprocess_00.cvc | 152 | logplain |
| -rw-r--r-- | preprocess_01.cvc | 165 | logplain |
| -rw-r--r-- | preprocess_02.cvc | 169 | logplain |
| -rw-r--r-- | preprocess_03.cvc | 173 | logplain |
| -rw-r--r-- | preprocess_04.cvc | 216 | logplain |
| -rw-r--r-- | preprocess_05.cvc | 210 | logplain |
| -rw-r--r-- | preprocess_06.cvc | 182 | logplain |
| -rw-r--r-- | preprocess_07.cvc | 125 | logplain |
| -rw-r--r-- | preprocess_08.cvc | 129 | logplain |
| -rw-r--r-- | preprocess_09.cvc | 185 | logplain |
| -rw-r--r-- | preprocess_10.cvc | 102 | logplain |
| -rw-r--r-- | preprocess_11.cvc | 208 | logplain |
| -rw-r--r-- | preprocess_12.cvc | 106 | logplain |
| -rw-r--r-- | preprocess_13.cvc | 179 | logplain |
| -rw-r--r-- | preprocess_14.cvc | 193 | logplain |
| -rw-r--r-- | preprocess_15.cvc | 202 | 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