
%clingo encoding
encoding.asp

%clingcon 2.x encoding
encoding.clingcon

% clingcon 3.x encoding
encoding.casp

% inca encoding
encoding.inca

% ezcsp encoding
encoding.ezsmt

% ezsmt encoding
encoding.ezsmt


