| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | aufbv-fuzz01.smtv1.smt2 | 13949 | logplain |
| -rw-r--r-- | bitvec0.delta01.smtv1.smt2 | 347 | logplain |
| -rw-r--r-- | bitvec0.smtv1.smt2 | 2009 | logplain |
| -rw-r--r-- | bitvec5.smtv1.smt2 | 902 | logplain |
| -rw-r--r-- | bug347.smtv1.smt2 | 721 | logplain |
| -rw-r--r-- | bug374a.smtv1.smt2 | 1072283 | logplain |
| -rw-r--r-- | bug374b.smt2 | 679 | logplain |
| -rw-r--r-- | error122.delta01.smtv1.smt2 | 319 | logplain |
| -rw-r--r-- | error122.smtv1.smt2 | 1521 | logplain |
| -rw-r--r-- | error20.delta01.smtv1.smt2 | 319 | logplain |
| -rw-r--r-- | error20.smtv1.smt2 | 2460 | logplain |
| -rw-r--r-- | error3.delta01.smtv1.smt2 | 603 | logplain |
| -rw-r--r-- | pp-regfile.delta01.smtv1.smt2 | 723 | logplain |
| -rw-r--r-- | pp-regfile.delta02.smtv1.smt2 | 665 | logplain |
| -rw-r--r-- | quant-ex1.smt2 | 374 | logplain |
| -rw-r--r-- | uflia-xs-09-16-3-4-1-5.delta03.smtv1.smt2 | 565 | logplain |
| -rw-r--r-- | uflia-xs-09-16-3-4-1-5.smtv1.smt2 | 6658 | logplain |
| -rw-r--r-- | wchains010ue.delta02.smtv1.smt2 | 713 | logplain |
| -rw-r--r-- | wchains010ue.smtv1.smt2 | 6706 | 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