Links for constraint-theory-demo