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...