package info
(click to toggle)
Folder: drivers
 |
.. (parent) | |||
 |
- | rw-r--r-- | 859 | alt_ergo.drv |
|
- | rw-r--r-- | 1,200 | alt_ergo_26.drv |
|
- | rw-r--r-- | 52 | alt_ergo_26_bv.drv |
|
- | rw-r--r-- | 215 | alt_ergo_26_ce.drv |
|
- | rw-r--r-- | 1,082 | alt_ergo_2_2_0.drv |
|
- | rw-r--r-- | 1,036 | alt_ergo_2_3.drv |
|
- | rw-r--r-- | 4,688 | alt_ergo_common.drv |
|
- | rw-r--r-- | 225 | alt_ergo_counterexamples.drv |
|
- | rw-r--r-- | 1,897 | alt_ergo_fp.drv |
|
- | rw-r--r-- | 142 | alt_ergo_model.drv |
|
- | rw-r--r-- | 1,725 | alt_ergo_smt.drv |
|
- | rw-r--r-- | 8,176 | beagle.drv |
|
- | rw-r--r-- | 3,058 | colibri.drv |
|
- | rw-r--r-- | 4,200 | colibri2.drv |
|
- | rw-r--r-- | 150 | common-transformations.gen |
|
- | rw-r--r-- | 7,375 | coq-common.gen |
|
- | rw-r--r-- | 610 | coq-realize.drv |
|
- | rw-r--r-- | 3,303 | coq-ssreflect.drv |
|
- | rw-r--r-- | 635 | coq.drv |
|
- | rw-r--r-- | 4,110 | cvc3.drv |
|
- | rw-r--r-- | 2,273 | cvc4-realize.drv |
|
- | rw-r--r-- | 1,680 | cvc4.drv |
|
- | rw-r--r-- | 2,234 | cvc4_14.drv |
|
- | rw-r--r-- | 2,155 | cvc4_15.drv |
|
- | rw-r--r-- | 163 | cvc4_15_counterexample.drv |
|
- | rw-r--r-- | 302 | cvc4_16.drv |
|
- | rw-r--r-- | 2,292 | cvc4_16.gen |
|
- | rw-r--r-- | 163 | cvc4_16_counterexample.drv |
|
- | rw-r--r-- | 312 | cvc4_17.drv |
|
- | rw-r--r-- | 219 | cvc4_17_counterexample.drv |
|
- | rw-r--r-- | 1,135 | cvc4_18_strings.drv |
|
- | rw-r--r-- | 234 | cvc4_18_strings_counterexample.drv |
|
- | rw-r--r-- | 1,044 | cvc4_bv.gen |
|
- | rw-r--r-- | 2,715 | cvc5.drv |
|
- | rw-r--r-- | 213 | cvc5_counterexample.drv |
|
- | rw-r--r-- | 1,132 | cvc5_strings.drv |
|
- | rw-r--r-- | 229 | cvc5_strings_counterexample.drv |
|
- | rw-r--r-- | 169 | discrimination.gen |
|
- | rw-r--r-- | 3,875 | dreal.drv |
|
- | rw-r--r-- | 322 | eprover.drv |
|
- | rw-r--r-- | 5,316 | gappa.drv |
|
- | rw-r--r-- | 121 | iprover.drv |
|
- | rw-r--r-- | 8,134 | isabelle-common.gen |
|
- | rw-r--r-- | 590 | isabelle-realize.drv |
|
- | rw-r--r-- | 682 | isabelle.drv |
|
- | rw-r--r-- | 5,765 | mathematica.drv |
|
- | rw-r--r-- | 4,467 | mathsat.drv |
|
- | rw-r--r-- | 340 | metis.drv |
|
- | rw-r--r-- | 6,693 | metitarski.drv |
|
- | rw-r--r-- | 243 | no-bv.gen |
|
- | rw-r--r-- | 2,501 | polypaver.drv |
|
- | rw-r--r-- | 8,062 | princess.drv |
|
- | rw-r--r-- | 2,584 | psyche.drv |
|
- | rw-r--r-- | 7,941 | pvs-common.gen |
|
- | rw-r--r-- | 186 | pvs-realize.drv |
|
- | rw-r--r-- | 183 | pvs.drv |
|
- | rw-r--r-- | 327 | safeprover.drv |
|
- | rw-r--r-- | 2,358 | simplify.drv |
|
- | rw-r--r-- | 7,936 | smt-libv2-bv-realization.gen |
|
- | rw-r--r-- | 10,242 | smt-libv2-bv.gen |
|
- | rw-r--r-- | 6,279 | smt-libv2-floats.gen |
|
- | rw-r--r-- | 4,869 | smt-libv2.gen |
|
- | rw-r--r-- | 3,205 | smtlib-strings.gen |
|
- | rw-r--r-- | 270 | spass.drv |
|
- | rw-r--r-- | 1,193 | spass_types.drv |
|
- | rw-r--r-- | 7,818 | tptp-tff0.drv |
|
- | rw-r--r-- | 7,595 | tptp-tff1.drv |
|
- | rw-r--r-- | 1,450 | tptp.gen |
|
- | rw-r--r-- | 214 | vampire.drv |
|
- | rw-r--r-- | 1,067 | vampire_4_2_2.drv |
|
- | rw-r--r-- | 1,212 | vampire_4_5_1.drv |
|
- | rw-r--r-- | 1,546 | verit.drv |
|
- | rw-r--r-- | 237 | why3.drv |
|
- | rw-r--r-- | 2,060 | why3_smt.drv |
|
- | rw-r--r-- | 887 | why3_tptp.drv |
|
- | rw-r--r-- | 1,201 | yices-smt2.drv |
|
- | rw-r--r-- | 4,040 | yices.drv |
|
- | rw-r--r-- | 2,200 | z3.drv |
|
- | rw-r--r-- | 2,484 | z3_432.drv |
|
- | rw-r--r-- | 3,303 | z3_440.drv |
|
- | rw-r--r-- | 100 | z3_440_counterexample.drv |
|
- | rw-r--r-- | 753 | z3_471.drv |
|
- | rw-r--r-- | 100 | z3_471_counterexample.drv |
|
- | rw-r--r-- | 48 | z3_471_nobv.drv |
|
- | rw-r--r-- | 4,400 | z3_487.drv |
|
- | rw-r--r-- | 137 | z3_487_counterexample.drv |
|
- | rw-r--r-- | 1,311 | z3_bv.gen |
|
- | rw-r--r-- | 3,335 | z3_smtv1.drv |
|
- | rw-r--r-- | 1,231 | zenon.drv |
|
- | rw-r--r-- | 7,366 | zenon_modulo.drv |