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 <em>polytope</em>-<em>objective</em>.lp.gz where <em>polytope</em> is compiled from a .spk program and <em>objective</em> 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 <em>forced</em>.lp &gt; <em>unforced</em>.lp"