Write a JChoco program that takes as argument a file name corresponding
to a Crystal Maze problem. The program then models and solves that problem. 

Answer the following questions:

(a) Using the neq binary constraint is the problem solved in propagation alone?

(b) As above but using allDiff.

(c) Produce two versions, one to find and display a solution, one to count solutions.