No edit summary |
|||
| Line 5: | Line 5: | ||
The ProB source code is distributed under the [http://www.eclipse.org/org/documents/epl-v10.html EPL v1.0 license] (see also [[Getting_Involved|Getting Involved]]). | The ProB source code is distributed under the [http://www.eclipse.org/org/documents/epl-v10.html EPL v1.0 license] (see also [[Getting_Involved|Getting Involved]]). | ||
(C) 2000- | (C) 2000-2025 Michael Leuschel and many others. | ||
ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND ! | ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND ! | ||
| Line 14: | Line 14: | ||
the software or its performance. | the software or its performance. | ||
The ProB binary and source distributions contain the nauty library. You cannot use | The ProB binary and source distributions of version 1.15.0 and below contain the nauty library before version 2.6. You cannot use nauty symmetry reduction for applications with nontrivial military | ||
significance, see | significance, see https://pallini.di.uniroma1.it/. | ||
For availability of commercial support, please contact [http://stups.hhu.de/w/Prof._Dr._Michael_Leuschel Michael Leuschel] or [http://www.formalmind.com/ Formal Mind]. | For availability of commercial support, please contact [http://stups.hhu.de/w/Prof._Dr._Michael_Leuschel Michael Leuschel] or [http://www.formalmind.com/ Formal Mind]. | ||
The ProB source code is distributed under the EPL v1.0 license (see also Getting Involved).
(C) 2000-2025 Michael Leuschel and many others.
ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND ! This software is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY. The author(s) do not accept responsibility to anyone for the consequences of using it or for whether it serves any particular purpose or works at all. No warranty is made about the software or its performance.
The ProB binary and source distributions of version 1.15.0 and below contain the nauty library before version 2.6. You cannot use nauty symmetry reduction for applications with nontrivial military significance, see https://pallini.di.uniroma1.it/.
For availability of commercial support, please contact Michael Leuschel or Formal Mind.