ppl-1.2-2-x86_64.pkg.tar.xz


Advertisement

Description

ppl - A modern library for convex polyhedra and other numerical abstractions

Distribution: Arch Linux
Repository: Arch Linux Community x86_64
Package name: ppl
Package version: 1.2
Package release: 2
Package architecture: x86_64
Package type: xz
Installed size: 14.37 MB
Download size: 2.62 MB
Official Mirror: ftp5.gwdg.de
A modern library for convex polyhedra and other numerical abstractions. Packager: Antonio Rojas <arojas@archlinux.org>. License: GPL3

Alternatives

  • ppl All Repositories

Requires

    Download

    Source package: unknown

    Install Howto

    1. Enable the community repository on /etc/pacman.conf:
      [community]
      Include = /etc/pacman.d/mirrorlist
      
    2. Install ppl xz package:
      # pacman -Sy ppl

    Files

    • /usr/
    • /usr/bin/ppl-config
    • /usr/bin/ppl_lcdd
    • /usr/bin/ppl_lpsol
    • /usr/bin/ppl_pips
    • /usr/include/ppl.hh
    • /usr/include/ppl_c.h
    • /usr/lib/libppl.so
    • /usr/lib/libppl.so.14
    • /usr/lib/libppl.so.14.0.0
    • /usr/lib/libppl_c.so
    • /usr/lib/libppl_c.so.4
    • /usr/lib/libppl_c.so.4.0.0
    • /usr/lib/ppl/libppl_swiprolog.so
    • /usr/share/
    • /usr/share/aclocal/ppl.m4
    • /usr/share/aclocal/ppl_c.m4
    • /usr/share/man/
    • /usr/share/man/man1/ppl-config.1.gz
    • /usr/share/man/man1/ppl_lcdd.1.gz
    • /usr/share/man/man1/ppl_lpsol.1.gz
    • /usr/share/man/man1/ppl_pips.1.gz
    • /usr/share/man/man3/libppl.3.gz
    • /usr/share/man/man3/libppl_c.3.gz
    • /usr/share/ppl/ppl_swiprolog.pl
    Advertisement
    Advertisement