Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
packages
pplite
package
pplite
Description
Convex polyhedra library for Abstract Interpretation.
Metadata
Install
Version
0.12
License
GPL-3.0-only
Status
Broken
No
Insecure
No
Unfree
No
Unsupported
No
Source
pkgs/development/libraries/pplite/default.nix:16
Homepage
https://github.com/ezaffanella/PPLite
Executables
1
(1)
bin/pplite_lcdd
