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