Translating flatzinc format to ASP intermediate language aspif. To be used with clingcon-3.x series. - View it on GitHub