A translator for logic programs with constraint atoms to CASP. - View it on GitHub