4 ms·To clarify, CLP((Z) does not stand for "Constraint Logic Programming for the Zebra puzzle" :Pby YeGoblynQueenne 3y agoTo clarify, CLP((Z) does not stand for "Constraint Logic Programming for the Zebra puzzle" :P