| author | blanchet |
| Wed, 06 Jun 2012 10:35:05 +0200 | |
| changeset 48078 | 72b093caf048 |
| parent 47959 | dba9409a3a5b |
| permissions | -rw-r--r-- |
|
41119
573f557ed716
Admin/contributed_components tries to formalize compatibility with external components (for use e.g. by testing tools), guessing from the content of TUM contrib_devel directory
krauss
parents:
diff
changeset
|
1 |
#contributed components |
|
41432
3214c39777ab
differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3");
boehmes
parents:
41119
diff
changeset
|
2 |
contrib/cvc3-2.2 |
|
47959
dba9409a3a5b
prefer symbolic "contrib" -- mira should have a symlink to physical contrib_devel;
wenzelm
parents:
47890
diff
changeset
|
3 |
contrib/e-1.5 |
|
47266
bf9796e44584
clarified terminology; added reference to bundle component
krauss
parents:
46109
diff
changeset
|
4 |
contrib/hol-light-bundle-0.5-126 |
|
46109
03e3b4b401e9
reenable Kodkodi in Mira now that Nitpick has been ported to 'a set constructor
blanchet
parents:
46061
diff
changeset
|
5 |
contrib/kodkodi-1.2.16 |
|
47582
cee347fe7ab1
updated components according to tentative bundle;
wenzelm
parents:
47578
diff
changeset
|
6 |
contrib/spass-3.8ds |
| 47524 | 7 |
contrib/scala-2.9.2 |
|
41119
573f557ed716
Admin/contributed_components tries to formalize compatibility with external components (for use e.g. by testing tools), guessing from the content of TUM contrib_devel directory
krauss
parents:
diff
changeset
|
8 |
contrib/vampire-1.0 |
| 42076 | 9 |
contrib/yices-1.0.28 |
|
47582
cee347fe7ab1
updated components according to tentative bundle;
wenzelm
parents:
47578
diff
changeset
|
10 |
contrib/z3-3.2 |