npm

ppl

Numerical abstractions library for polyhedra analysis and verification

brewmacoslinux
Try with needOr install directly
Source

About

Parma Polyhedra Library: numerical abstractions for analysis, verification

Commands

ppl-config

Examples

Get PPL version and configuration information$ ppl-config --version
Display PPL compiler flags for compilation$ ppl-config --cflags
Display PPL library flags for linking$ ppl-config --libs