Essence level problem solving

[ozgurakgun]

This is quite different to what we have in the rest of Conjure / Savile Row.

We have tried writing a systematic solver before, so we have some experience with this.

We have a bit more experience with writing a local search solver at the Essence level. See the Athanor project. There are a bunch of papers on Athanor and a PhD thesis.

Instead of translating to lower level existing solvers, can we solve at the Essence level instead? Are there any advantages to having access to the high level structure? Are hybrids viable?

This project needs to be developed quite significantly before we start it and I fully expect it to be a big project, multiple students over multiple years, for sure.