GitHub repository: JuliaPolyhedra/ParmaPolyhedra.jl
Primary language: Julia
Created: 2023-01-10T13:58:31Z
Description: Julia interface to the Parma Polyhedra Library (PPL) https://www.bugseng.com/content/parma-polyhedra-library