| Mode | Name | Size | |
|---|---|---|---|
| d--------- | boolean | 718 | logplain |
| -rw-r--r-- | bug1990.smt2 | 229 | logplain |
| -rw-r--r-- | bug233.cvc | 186 | logplain |
| -rw-r--r-- | bug654-dd.smt2 | 806 | logplain |
| -rw-r--r-- | bug691.smt2 | 459 | logplain |
| -rw-r--r-- | bug821-check_sat_assuming.smt2 | 484 | logplain |
| -rw-r--r-- | bug821.smt2 | 159 | logplain |
| -rw-r--r-- | inc-define.smt2 | 160 | logplain |
| -rw-r--r-- | inc-double-u.smt2 | 328 | logplain |
| -rw-r--r-- | incremental-subst-bug.cvc | 328 | logplain |
| -rw-r--r-- | issue1986.smt2 | 535 | logplain |
| -rw-r--r-- | issue2137.min.smt2 | 235 | logplain |
| -rw-r--r-- | quant-fun-proc-unfd.smt2 | 523 | logplain |
| -rw-r--r-- | real-as-int-incremental.smt2 | 350 | logplain |
| -rw-r--r-- | simple_unsat_cores.smt2 | 148 | logplain |
| -rw-r--r-- | test.00.cvc | 128 | logplain |
| -rw-r--r-- | test.01.cvc | 214 | logplain |
| -rw-r--r-- | tiny_bug.smt2 | 450 | logplain |
| -rw-r--r-- | units.cvc | 341 | 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