| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | bitvectors.smt2 | 1197 | logplain |
| -rw-r--r-- | bitvectors_and_arrays.smt2 | 2047 | logplain |
| -rw-r--r-- | combination.smt2 | 684 | logplain |
| -rw-r--r-- | datatypes.smt2 | 628 | logplain |
| -rw-r--r-- | extract.smt2 | 447 | logplain |
| -rw-r--r-- | helloworld.smt2 | 96 | logplain |
| -rw-r--r-- | linear_arith.smt2 | 409 | logplain |
| -rw-r--r-- | quickstart.smt2 | 1013 | logplain |
| -rw-r--r-- | relations.smt2 | 919 | logplain |
| -rw-r--r-- | sequences.smt2 | 301 | logplain |
| -rw-r--r-- | sets.smt2 | 753 | logplain |
| -rw-r--r-- | strings.smt2 | 572 | logplain |
| -rw-r--r-- | sygus-fun.sy | 786 | logplain |
| -rw-r--r-- | sygus-grammar.sy | 681 | logplain |
| -rw-r--r-- | sygus-inv.sy | 399 | logplain |
| -rw-r--r-- | transcendentals.smt2 | 162 | 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