The binary of clingo version >=4.4 for MacOS X version >= 10.9 should work fine. The downloads are listed on the clingo page. Otherwise, please let us know.