Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile | 145 | logplain |
-rw-r--r-- | Makefile.am | 1309 | logplain |
d--------- | arith | 942 | logplain |
-rw-r--r-- | arith_lra_01.smt2 | 10678 | logplain |
-rw-r--r-- | arith_lra_02.smt2 | 8528 | logplain |
d--------- | boolean | 2158 | logplain |
-rw-r--r-- | bug-fmf-fun-skolem.smt2 | 519 | logplain |
-rw-r--r-- | bug216.smt2 | 189 | logplain |
-rw-r--r-- | bug216.smt2.expect | 60 | logplain |
-rw-r--r-- | bug233.cvc | 178 | logplain |
-rw-r--r-- | bug326.smt2 | 799 | logplain |
-rw-r--r-- | bug396.smt2 | 168801 | logplain |
-rwxr-xr-x | bug654-dd.smt2 | 791 | logplain |
-rw-r--r-- | bug674.smt2 | 1059 | logplain |
-rw-r--r-- | fmf-fun-dbu.smt2 | 563 | logplain |
-rw-r--r-- | inc-double-u.smt2 | 328 | logplain |
-rw-r--r-- | incremental-subst-bug.cvc | 297 | logplain |
-rw-r--r-- | quant-fun-proc-unfd.smt2 | 523 | logplain |
-rw-r--r-- | quant-fun-proc-unmacro.smt2 | 498 | logplain |
-rw-r--r-- | quant-fun-proc.smt2 | 514 | 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 | 250 | logplain |