Phew, been given a presentation (you should totally check it out below). Longs day, time to go have a pint or 7 at the Hertog Jan brewery. Probably my last presentation at TU/e: simple, general, and fast Declare mining. Much of this is in (not online yet at the time of writing). https://westergaard.eu/2013/10/declare-mining-for-dummies/