| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 142 | logplain |
| -rw-r--r-- | Makefile.am | 1232 | logplain |
| -rw-r--r-- | array_search_2.sy | 545 | logplain |
| -rw-r--r-- | array_sum_2_5.sy | 442 | logplain |
| -rw-r--r-- | commutative.sy | 360 | logplain |
| -rw-r--r-- | constant.sy | 385 | logplain |
| -rw-r--r-- | hd-01-d1-prog.sy | 529 | logplain |
| -rw-r--r-- | icfp_28_10.sy | 1444 | logplain |
| -rw-r--r-- | max.smt2 | 3751 | logplain |
| -rw-r--r-- | max.sy | 920 | logplain |
| -rw-r--r-- | multi-fun-polynomial2.sy | 598 | logplain |
| -rw-r--r-- | parity-AIG-d0.sy | 783 | logplain |
| -rw-r--r-- | sygus-uf.sl | 449 | logplain |
| -rw-r--r-- | twolets1.sy | 675 | logplain |
| -rw-r--r-- | unbdd_inv_gen_winf1.sy | 1391 | 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