Spartan Versions Save

Prior versions of code imposed restrictions on the number of variables and inputs and expected higher-level applications to appropriately pad their constraint systems. This release eliminates those requirements.

Initial release