Skip to content
Snippets Groups Projects
Commit 42c9bd7a authored by Michael Leuschel's avatar Michael Leuschel
Browse files

update readme 

link for support
parent b1de3334
No related branches found
No related tags found
Show whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
README.md
+ 1
− 1
View file @ 42c9bd7a
...@@ -15,7 +15,7 @@ ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND! This software is distributed ...@@ -15,7 +15,7 @@ ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND! This software is distributed
The ProB binary and source distributions contain the nauty library (http://cs.anu.edu.au/~bdm/nauty/) which imply further restrictions: the ProB model checker with nauty symmetry reduction cannot be used for applications with nontrivial military significance. The ProB binary and source distributions contain the nauty library (http://cs.anu.edu.au/~bdm/nauty/) which imply further restrictions: the ProB model checker with nauty symmetry reduction cannot be used for applications with nontrivial military significance.
For availability of commercial support, please contact Formal Mind (http://www.formalmind.com). For availability of commercial support, please contact Michael Leuschel (http://www.stups.uni-duesseldorf.de/~leuschel/).
# Bugs # Bugs
Please report bugs and feature requests at https://probjira.atlassian.net Please report bugs and feature requests at https://probjira.atlassian.net
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment