This repo started out with a somewhat different scope.
Right now, the main focus of development (as I understand it, at least) is adding examples for the MaRDI file format, and adding more code examples in different systems that all generate objects that serialize to what the example .mrdi data shows.
But we still have e.g.
data/polyhedral/linear-program/systems/cdd/data.ine
data/polyhedral/linear-program/systems/CPLEX/data.lp
data/polyhedral/linear-program/systems/polymake/data.json
Should we keep those (and even add more) ? Or drop them? Or something else?
This repo started out with a somewhat different scope.
Right now, the main focus of development (as I understand it, at least) is adding examples for the MaRDI file format, and adding more code examples in different systems that all generate objects that serialize to what the example .mrdi data shows.
But we still have e.g.
Should we keep those (and even add more) ? Or drop them? Or something else?