| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 139 | logplain |
| -rw-r--r-- | Makefile.am | 615 | logplain |
| -rw-r--r-- | NEQ016_size5.smt | 14534 | logplain |
| -rw-r--r-- | PEQ018_size4.smt | 6275 | logplain |
| -rw-r--r-- | SEQ032_size2.smt | 1534 | logplain |
| -rw-r--r-- | dead_dnd002.smt | 20139 | logplain |
| -rw-r--r-- | eq_diamond1.smt | 338 | logplain |
| -rw-r--r-- | eq_diamond23.smt | 2193 | logplain |
| -rw-r--r-- | euf_simp01.smt | 308 | logplain |
| -rw-r--r-- | euf_simp02.smt | 394 | logplain |
| -rw-r--r-- | euf_simp03.smt | 360 | logplain |
| -rw-r--r-- | euf_simp04.smt | 413 | logplain |
| -rw-r--r-- | euf_simp05.smt | 294 | logplain |
| -rw-r--r-- | euf_simp06.smt | 302 | logplain |
| -rw-r--r-- | euf_simp08.smt | 309 | logplain |
| -rw-r--r-- | euf_simp09.smt | 306 | logplain |
| -rw-r--r-- | euf_simp10.smt | 331 | logplain |
| -rw-r--r-- | euf_simp11.smt | 350 | logplain |
| -rw-r--r-- | euf_simp12.smt | 388 | logplain |
| -rw-r--r-- | euf_simp13.smt | 520 | logplain |
| -rw-r--r-- | iso_brn001.smt | 17556 | logplain |
| -rw-r--r-- | iso_icl_repgen004.smt | 48303 | logplain |
| -rw-r--r-- | simple.01.cvc | 96 | logplain |
| -rw-r--r-- | simple.02.cvc | 89 | logplain |
| -rw-r--r-- | simple.03.cvc | 145 | logplain |
| -rw-r--r-- | simple.04.cvc | 146 | 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