fz2aspif translates flatzinc files into ground aspif files to be used with clingcon. As clingcon currently only supports linear and distinct constraints, fz2aspif provides the translation descriptions for mzn2fzn here: share/clingcon. Use mzn2fzn as described in the README to convert minizinc csp files into flatzinc files compatible with fz2aspif.