Constraints requires Puzzles for now, because the tests are lodged in there