{% extends "layout.html" %} {% block title %}Demystify — puzzle picker{% endblock title %} {% block content %}

A solver that shows its working.

Demystify compiles your constraint model, propagates one round at a time, and writes a short explanation for every cell it places. {{ puzzle_count }} puzzle families supported.

{{ puzzle_count }} puzzle types Essence · eprime · Minion Narrative explanations
{% include "partials/uploader.html" %}

Or pick a built-in puzzle

Choose a puzzle type, then optionally edit the parameters before solving.

{% endblock content %}