Build parameter space from stoichiometry and user constraints. Algorithms to calculate vectors of all fluxes and pool sizes by choices of free parameters. Emit inequality constraints of free parameters as matrix and bound vector.