Skip to content

Use polymake's JSON format, require polymake 4 - #29

Open
fingolfin wants to merge 6 commits into
masterfrom
polymake-json
Open

fingolfin wants to merge 6 commits into
masterfrom
polymake-json

Keep the polymaking 0.8 interface working

702efbb
Select commit
Loading
Failed to load commit list.