Sparktope example LPs

This dataset consists of the main examples from the Sparktope  compiler.  These examples are pre-compiled and ready to pass to a solver. The filename format is polytope-objective.lp.gz where polytope is compiled from a .spk program and objective is compiled from a .in input description. These are the (relatively) easy versions of the examples with some extra constraints forcing the input variables. More challenging instances (that should still have the same optimal solutions) can be produced with e.g. "grep -v force forced.lp > unforced.lp"