Popular repositories Loading
Repositories
Showing 10 of 14 repositories
- CDDLib.jl Public
cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination
- ParmaPolyhedra.jl Public
Julia interface to the Parma Polyhedra Library (PPL) https://www.bugseng.com/content/parma-polyhedra-library
- julia-porta Public Forked from denisrosset/porta
The Julia distribution of the POlyhedron Representation Transformation Algorithm (PORTA).
Top languages
Loading…
Most used topics
Loading…