| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | aufbv-fuzz01.smt | 15053 | logplain |
| -rw-r--r-- | bitvec0.delta01.smt | 518 | logplain |
| -rw-r--r-- | bitvec0.smt | 1848 | logplain |
| -rw-r--r-- | bitvec5.smt | 809 | logplain |
| -rw-r--r-- | bug347.smt | 597 | logplain |
| -rw-r--r-- | bug374a.smt | 38615 | logplain |
| -rw-r--r-- | bug374b.smt2 | 679 | logplain |
| -rw-r--r-- | error122.delta01.smt | 408 | logplain |
| -rw-r--r-- | error122.smt | 1915 | logplain |
| -rw-r--r-- | error20.delta01.smt | 392 | logplain |
| -rw-r--r-- | error20.smt | 2362 | logplain |
| -rw-r--r-- | error3.delta01.smt | 786 | logplain |
| -rw-r--r-- | pp-regfile.delta01.smt | 1017 | logplain |
| -rw-r--r-- | pp-regfile.delta02.smt | 1023 | logplain |
| -rw-r--r-- | quant-ex1.smt2 | 374 | logplain |
| -rw-r--r-- | uflia-xs-09-16-3-4-1-5.delta03.smt | 1163 | logplain |
| -rw-r--r-- | uflia-xs-09-16-3-4-1-5.smt | 6817 | logplain |
| -rw-r--r-- | wchains010ue.delta02.smt | 961 | logplain |
| -rw-r--r-- | wchains010ue.smt | 7519 | 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