minizinc-generator first version and minor changes