ppl

1.2

Parma Polyhedra Library: numerical abstractions for analysis, verification

Install

brew install ppl

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	1.2	File SHA-256 `8385c94ff15fa97e389c30747ba15c641a2b57e0bbb6a32349be676b5511f4b9`
Apple Silicon	Tahoe	1.2	File SHA-256 `aea93f11cba2f9c6d6d64225405165be26d8ae84d9f668cdfd5f479a5a53e169`
Apple Silicon	Sequoia	1.2	File SHA-256 `527d1a14323856ce82d73c94a18da7b53363c5f9064de4f70dda5a5aa1c84ee6`
Apple Silicon	Sonoma	1.2	File SHA-256 `72645288d73cc251a6310649cbd8782c07438ce56d1a66fe190ceea5e7a10782`
Apple Silicon	Ventura	1.2	File SHA-256 `7b34ee3fa741ad47e0ec32a5fac0dffddea220097ea7938618586d1b1016f9ba`
Apple Silicon	Monterey	1.2	File SHA-256 `3b7d7b75d9c40347d165192e5189725d94129dc5f95d848cc86251f493ccef91`
Apple Silicon	Big Sur	1.2	File SHA-256 `f607e5d5ebefa0cb480bc84b1ba6e4eb1f2f07e7d7a00ae1f4c71958b5c82323`
Intel	Sonoma	1.2	File SHA-256 `a67e256076ad9de40aa134fe1ea3ae194fc1ef12454f0e637d74c4a037037722`
Intel	Ventura	1.2	File SHA-256 `c37e9a48bbaa4eee1c8c25b3e04cb6886da8bc19f684316dd93c7c121ba262c1`
Intel	Monterey	1.2	File SHA-256 `f75956df3abc16149ff87a0df7347973863331d8cadad40fef8dc3b760bfd6cf`
Intel	Big Sur	1.2	File SHA-256 `ceae5dd7024558587efdf935a870154a38e0cbf7e4882ba507cb3cebf574bed3`
ARM64	Linux	1.2	File SHA-256 `cae59d336bc919b7924cf6507ed0fef355e1a9ecc9770f06cc34cd05741d96df`
x86_64	Linux	1.2	File SHA-256 `09999d2760a2d719f28918c3040eadeceffd32112eee8e5f28f5b93db80d4d9d`