lc2casp is a translator for logic programs with constraint atoms to CASP.

Download and Resources