a framework for highly-constrained non-convex optimization and uncertainty quantification