Interactive webpage for demoing the ATHANOR Solver.

Write your essence specification below or import it from a file. Use the parameter tab to provide parameters lettings.

Note: Essence input is uploaded to a server for translation into a suitable format. This should only take a few seconds. After translation, the ATHANOR solver is run in your browser.

Solution number Wall time Number iterations Violations Objective
-- -- 0 -- --
                    Solutions will be shown here...