Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | ListConcat.hs.fqout.177minimized.smt2 | 465 | logplain |
-rw-r--r-- | ListConcat.hs.fqout.cvc4.177.smt2 | 2356 | logplain |
-rw-r--r-- | ListElem.hs.fqout.cvc4.38.smt2 | 2515 | logplain |
-rw-r--r-- | deepmeas0.hs.fqout.cvc4.41.smt2 | 2779 | logplain |
index : cvc5.git | ||
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
summaryrefslogtreecommitdiff |
Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | ListConcat.hs.fqout.177minimized.smt2 | 465 | logplain |
-rw-r--r-- | ListConcat.hs.fqout.cvc4.177.smt2 | 2356 | logplain |
-rw-r--r-- | ListElem.hs.fqout.cvc4.38.smt2 | 2515 | logplain |
-rw-r--r-- | deepmeas0.hs.fqout.cvc4.41.smt2 | 2779 | logplain |