Like Clingcon, xpanda allows for using constraints over finite domain integer variables in logic programs.
Unlike with Clingcon, such constraints are expanded, leading to (non-ground) rules that can be
grounded by Gringo.
Download
Documentation
Citation
