Systems Based on Constraints
Some constraint system
© Wolfram Research, Inc.