
%clingo encoding
encoding.asp

%clingcon 2.x encoding
encoding.clingcon

% clingcon 3.x encoding
encoding.casp

% inca encoding
encoding.inca

% aspartame encoding
encoding.aspartame

