/math/clingcon/