JuliaReach / LazySets.jl Star 226 Code Issues Pull requests Scalable symbolic-numeric set computations in Julia calculus geometry julia computational-geometry convex-hull lazy-evaluation polygons projections formal-verification polyhedra sets minkowski-sum reachability-analysis convex-sets geometry-algorithms zonotope set-propagation Updated Jul 16, 2024 Julia
JuliaPolyhedra / Polyhedra.jl Star 171 Code Issues Pull requests Polyhedral Computation Interface optimization julia polytope convex-hull polyhedral-computations polyhedra polyhedron polytopes fourier-motzkin-elimination Updated May 30, 2024 Julia
cvdlab / LinearAlgebraicRepresentation.jl Star 38 Code Issues Pull requests Official repository of the package LAR for Julia. arxiv julia-package polyhedra chain-complexes cellular-complexes arrangements Updated Jan 23, 2024 Julia
JuliaPolyhedra / CDDLib.jl Star 36 Code Issues Pull requests cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination polyhedral-computations polyhedra cdd Updated Jul 5, 2024 Julia
JuliaPolyhedra / CutPruners.jl Star 6 Code Issues Pull requests Modular framework for cut pruning algorithms julia pruning polyhedra Updated Jun 30, 2022 Julia