package/develop/ppl/ppl.desc

   1 [COPY] --- T2-COPYRIGHT-NOTE-BEGIN ---
   2 [COPY] T2 SDE: package/*/ppl/ppl.desc
   3 [COPY] Copyright (C) 2009 - 2021 The T2 SDE Project
   4 [COPY]
   5 [COPY] This Copyright note is generated by scripts/Create-CopyPatch,
   6 [COPY] more information can be found in the files COPYING and README.
   7 [COPY]
   8 [COPY] This program is free software; you can redistribute it and/or modify
   9 [COPY] it under the terms of the GNU General Public License version 2.
  10 [COPY] --- T2-COPYRIGHT-NOTE-END ---
  11
  12 [I] Parma Polyhedra Library
  13
  14 [T] The Parma Polyhedra Library (PPL) provides numerical
  15 [T] abstractions especially targeted at applications in
  16 [T] the field of analysis and verification of complex systems.
  17
  18 [U] http://bugseng.com/products/ppl/
  19
  20 [A] Roberto Bagnara <http://www.cs.unipr.it/~bagnara>
  21 [M] The T2 Project <t2@t2-project.org>
  22
  23 [C] base/development
  24
  25 [L] GPL
  26 [S] Stable
  27 [V] 1.2
  28 [P] X 0----5---9 102.290
  29
  30 [CV-URL] http://bugseng.com/products/ppl/download
  31 [D] 1aef8db1cf2774bdbedc751cf9f9c6199e802682515895f8005ebd9e ppl-1.2.tar.bz2 http://bugseng.com/products/ppl/download/ftp/releases/1.2/