author | wenzelm |
Fri, 07 Jan 2011 17:07:00 +0100 | |
changeset 41447 | 537b290bbe38 |
parent 41432 | 3214c39777ab |
child 41450 | 3a62f88d9650 |
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 |
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
|
3 |
contrib/e-1.2 |
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
|
4 |
contrib/jedit-4.3.2 |
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
|
5 |
contrib/kodkodi-1.2.16 |
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
|
6 |
contrib/spass-3.7 |
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
|
7 |
contrib/scala-2.8.0.RC5 |
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 |
41432
3214c39777ab
differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3");
boehmes
parents:
41119
diff
changeset
|
9 |
contrib/z3-2.15 |