janko12 puzzles, single cycle in constraints in stead of Prolog check.