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


Advertisement

Description

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

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package name ppl
Package version 1.2
Package release 3
Package architecture x86_64
Package type xz
Package license GPL3
Installed size 15.28 MB
Download size 2.77 MB
Official Mirror ftp5.gwdg.de
A modern library for convex polyhedra and other numerical abstractions.
Packager: Evangelos Foutras <evangelos@foutrelis.com>

Alternatives

Package Version Architecture Repository
ppl - - -

Requires

Name Value
glpk -

Download

Type URL
Binary Package ppl-1.2-3-x86_64.pkg.tar.xz
Source Package ppl

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

Path
/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

See Also

Package Description
pppusage-0.2.5-9-any.pkg.tar.xz Utility to monitor pppd connections
ppsspp-1.7.1-1-x86_64.pkg.tar.xz A PSP emulator written in C++
ppsspp-headless-1.7.1-1-x86_64.pkg.tar.xz A PSP emulator written in C++
ppsspp-qt-1.7.1-1-x86_64.pkg.tar.xz A PSP emulator written in C++
pptpd-1.4.0-2-x86_64.pkg.tar.xz Poptop server
pragha-1.3.3-4-x86_64.pkg.tar.xz A lightweight GTK+ music manager - fork of Consonance Music Manager
premake-4.3-5-x86_64.pkg.tar.xz A simple build configuration and project generation tool using lua
premake3-3.7-4-x86_64.pkg.tar.xz A simple build configuration and project generation tool using lua
prettier-1.15.3-1-any.pkg.tar.xz An opinionated code formatter for JS, JSON, CSS, YAML and much more
prettyping-1:1.0.1-2-any.pkg.tar.xz A ping wrapper making the output prettier, more colorful, more compact, and easier to read
primecount-4.4-1-x86_64.pkg.tar.xz Fast C++ prime counting function implementation
primus-20151110-8-x86_64.pkg.tar.xz Faster OpenGL offloading for Bumblebee
privoxy-3.0.26-3-x86_64.pkg.tar.xz A web proxy with advanced filtering capabilities
processing-3.4-2-x86_64.pkg.tar.xz Programming environment for creating images, animations and interactions
processing-examples-3.3.3-2-any.pkg.tar.xz Examples for Processing
Advertisement
Advertisement