Constraints demo

This example shows different types of constraints.

To run this demo:

cargo run -p constraints