Optimization.Constrained.Penalty
data Opt f a
data FU f a
optimize
constrainEQ
constrainLT
constrainGT
minimize
maximize
lagrangian