The complete documentation can be found here. New: writing constraints in the new string format is preferable over functions and lambdas. These strings, even as compound statements, are automatically ...