ppl
Parma Polyhedra Library: numerical abstractions for analysis, verification
Current versions:
| stable | ✅ | 1.2 |
| bottle | 🍾 | high_sierra, sierra, el_capitan, yosemite, mavericks |
Depends on:
| gmp | ✅ | 6.1.2 | GNU multiple precision arithmetic library |
Formula code on GitHub
