Source: ppl Maintainer: Debian Science Maintainers Uploaders: Tobias Hansen , Michael Tautschnig Section: libs Build-Depends: debhelper-compat (= 13), libgmp-dev, libncurses-dev Build-Depends-Arch: chrpath, swi-prolog [amd64 arm64 armhf i386 loong64 ppc64 ppc64el riscv64 s390x] Build-Depends-Indep: doxygen-latex, ghostscript, graphviz, poppler-utils, swi-prolog, texlive-science Standards-Version: 4.7.4 Vcs-Browser: https://salsa.debian.org/science-team/ppl Vcs-Git: https://salsa.debian.org/science-team/ppl.git Homepage: https://www.bugseng.com/ppl/ Package: libppl14 Architecture: any Multi-Arch: same Depends: ${misc:Depends}, ${shlibs:Depends} Pre-Depends: ${misc:Pre-Depends} Description: Parma Polyhedra Library (runtime library) The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. Package: libppl-dev Architecture: any Multi-Arch: same Section: libdevel Depends: libppl-c4 (= ${binary:Version}), libppl14 (= ${binary:Version}), ${misc:Depends}, ${shlibs:Depends} Recommends: libgmp-dev Suggests: libppl-doc Pre-Depends: ${misc:Pre-Depends} Breaks: libppl7 (<< 0.10~pre27-4), libppl9 Conflicts: libppl0.10-dev, libppl0.11-dev, libppl0.12-dev Provides: libppl-c-dev, libppl0.12-dev Replaces: libppl0.12-dev, libppl7 (<< 0.10~pre27-4), libppl9 Description: Parma Polyhedra Library (development) The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. . This package provides the header files and static libraries for the C and C++ interfaces. Package: ppl-dev Architecture: any Section: devel Depends: libppl-dev (= ${binary:Version}), ${misc:Depends}, ${shlibs:Depends} Pre-Depends: ${misc:Pre-Depends} Replaces: libppl0.11-dev Description: Parma Polyhedra Library (development binaries) The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. . This package provides the ppl-config binary. Package: libppl-c4 Architecture: any Multi-Arch: same Depends: libppl14 (= ${binary:Version}), ${misc:Depends}, ${shlibs:Depends} Pre-Depends: ${misc:Pre-Depends} Description: Parma Polyhedra Library (C interface) The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. . This package provides the C interface. Package: libppl-doc Architecture: all Multi-Arch: foreign Section: doc Depends: libjs-jquery, ${misc:Depends} Description: Parma Polyhedra Library: Documentation The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. . This package provides the user manuals for the C++, C and Prolog interfaces. Package: libppl-swi Architecture: amd64 arm64 armhf i386 loong64 ppc64 ppc64el riscv64 s390x Build-Profiles: Multi-Arch: same Depends: libppl14 (= ${binary:Version}), swi-prolog, ${misc:Depends}, ${shlibs:Depends} Pre-Depends: ${misc:Pre-Depends} Description: Parma Polyhedra Library (SWI Prolog interface) The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. . This package provides the SWI Prolog interface.