Constraint functions for the "black box" maximizer
(user can enter input and output validation functions as
expressions or C program source code)
