GitHub repository: tbrysiewicz/OscarPolytope.jl
Primary language: Julia
Description: Polytopes for OSCAR