Encodings taken from "SMT-based Constraint Answer Set Solver ezsmt" by Lierler and Susman

% fixed grounding of total cost check to be much more efficient
encoding.clingo

%clingcon 2.x
encoding.clingcon

%clingcon 3.x
encoding.casp

%inca
encoding.inca -> buggy because of gringo-3 aggregate bug

%ezcsp
encoding.ezsmt

%ezsmt
encoding.ezsmt

