Re-organized the solver around more sparse changes to the original patsopt constraint export functionality