File Type Notes
gbac2dzn.py Numberjack A translator from the original format to the MiniZinc data format