NonlinearProgramWConstraint can solve the feasibility problem in both fmincon and snopt. I have not decided the form of the constraint yet.