From e20d0d1e12a3acca34cd4e90e4ae494ddfd6a0a0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 24 Apr 2019 14:34:24 +0100 Subject: [PATCH] Update README (licensing, dependencies). --- README.md | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index fd90a0d1..10d18e63 100644 --- a/README.md +++ b/README.md @@ -51,18 +51,22 @@ For other PRISM-related information, see the website: ## Licensing -PRISM is distributed under the GNU General Public License (GPL). +PRISM is distributed under the GNU General Public License (GPL), version 2. A copy of this license can be found in the file `COPYING.txt`. For more information, see: http://www.gnu.org/licenses/ -PRISM uses the CUDD (Colorado University Decision Diagram) library of -Fabio Somenzi, which is freely available. For more information about this -library, see: +PRISM uses the CUDD (Colorado University Decision Diagram) library of Fabio Somenzi, +which is freely available. For more information about this library, see: http://vlsi.colorado.edu/~fabio/CUDD/ +PRISM also uses various other libraries (mainly to be found in the lib directory). +For details of those, and for links to source where we distribute only binaries, see: + +http://www.prismmodelchecker.org/other-downloads.php + ## Acknowledgements