{"name":"ppl","summary":"Parma Polyhedra Library","description":"The Parma Polyhedra Library (PPL) provides numerical abstractions\nespecially targeted at applications in the field of analysis and\nverification of complex systems.  These abstractions include convex\npolyhedra, defined as the intersection of a finite number of (open or\nclosed) halfspaces, each described by a linear inequality (strict or\nnon-strict) with rational coefficients; some special classes of\npolyhedra shapes that offer interesting complexity/precision tradeoffs;\nand grids which represent regularly spaced points that satisfy a set of\nlinear congruence relations.  The library also supports finite\npowersets and products of (any kind of) polyhedra and grids and a mixed\ninteger linear programming problem solver using an exact-arithmetic\nversion of the simplex algorithm.","homepage_url":"http://bugseng.com/products/ppl/","license":"GPL-3.0-or-later","attribute_paths":["ppl"],"releases":[{"version":"1.2","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ppl","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/ycn0hknwxrqc1flggacyga16ha5xdvvx-ppl-1.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ppl","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/cg8rvpi2ys0r7bw9vm054i9g3zf4rjn3-ppl-1.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ppl","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/pprh5r79m4zj2v4caglv9x83lmarg97i-ppl-1.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ppl","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/56s5fxgs7s79fgkpwwimna7pxx8wcbqx-ppl-1.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}