| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | difference_remove1.smt2 | 263 | logplain |
| -rw-r--r-- | disequality.smt2 | 385 | logplain |
| -rw-r--r-- | duplicate_removal1.smt2 | 237 | logplain |
| -rw-r--r-- | duplicate_removal2.smt2 | 235 | logplain |
| -rw-r--r-- | emptybag1.smt2 | 242 | logplain |
| -rw-r--r-- | fuzzy1.smt2 | 291 | logplain |
| -rw-r--r-- | fuzzy2.smt2 | 474 | logplain |
| -rw-r--r-- | intersection_min1.smt2 | 293 | logplain |
| -rw-r--r-- | intersection_min2.smt2 | 272 | logplain |
| -rw-r--r-- | issue5759.smt2 | 279 | logplain |
| -rw-r--r-- | map1.smt2 | 340 | logplain |
| -rw-r--r-- | map2.smt2 | 232 | logplain |
| -rw-r--r-- | map3.smt2 | 285 | logplain |
| -rw-r--r-- | subbag1.smt2 | 257 | logplain |
| -rw-r--r-- | subbag2.smt2 | 321 | logplain |
| -rw-r--r-- | union_disjoint.smt2 | 268 | logplain |
| -rw-r--r-- | union_max1.smt2 | 262 | logplain |
| -rw-r--r-- | union_max2.smt2 | 310 | 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