About Getting Started Documentation Teaching Support

lc2casp

Sep 20, 2016

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

Download and Resources

The Potsdam Answer Set Solving Collection developed at the University of Potsdam. Privacy Policy