Sparktope example LPs

<p>This dataset consists of the main examples from the Sparktope&nbsp; compiler.&nbsp; 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. &quot;grep -v force <em>forced</em>.lp &gt; <em>unforced</em>.lp&quot;</p>