Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

Funding: EPSRC grants EP/P015638/1and EP/P026842/1. Christopher Jefferson is supported by a Royal Society University Research Fellowship. This work used the Cirrus UK National Tier-2 HPC Service at EPCC (http://www.cirrus.ac.uk) funded by the University of Edinburgh and EPSRC (EP/P020267/1).