| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | AdditiveMethods_AdditiveMethods..ctor.smt2 | 45830 | logplain |
| -rw-r--r-- | ForElimination-scala-9.smt2 | 15339 | logplain |
| -rw-r--r-- | gn-wrong-091018.smt2 | 2140 | logplain |
| -rw-r--r-- | javafe.ast.ArrayInit.35.smt2 | 95882 | logplain |
| -rw-r--r-- | javafe.ast.StandardPrettyPrint.319.smt2 | 134345 | logplain |
| -rw-r--r-- | javafe.ast.WhileStmt.447.smt2 | 93917 | logplain |
| -rw-r--r-- | javafe.tc.CheckCompilationUnit.001.smt2 | 75099 | logplain |
| -rw-r--r-- | javafe.tc.FlowInsensitiveChecks.682.smt2 | 160472 | logplain |
| -rw-r--r-- | net-policy-no-time.smt2 | 6207 | logplain |
| -rw-r--r-- | nunchaku2309663.nun.min.smt2 | 11797 | logplain |
| -rw-r--r-- | small-bug1-fixpoint-3.smt2 | 8608 | logplain |
| -rw-r--r-- | specsharp-WindowsCard.15.RTE.Terminate_System.Int32.smt2 | 66816 | logplain |
| -rw-r--r-- | sygus-inst-ufbv-sdlx-fixpoint-5.smt2 | 14535309 | logplain |
| -rw-r--r-- | syn874-1.smt2 | 73800 | 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