asmeurer / packages / ppl 1.1

• 0

The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.

• Conda
• Files
• Labels
• Badges