Theory Solving Made Easy with Clingo 5
Clingo = ASP + Control: Preliminary Report