Every now and again I make small demos to use in teaching, outreach events, etc.

I rarely advertise these other than by giving people direct links where needed. Before today I had 3 such demos on this site: kmeans, maze, pow.

None of these demos use an actual constraint solver.

I developed a new demo this weekend for the map colouring problem. This one does use conjure, via the conjure as a service project. The idea is to give people a blank canvas on which they draw a few paths. We then detect regions, extract a neighbourhood graph and colour this graph using CP. It is, of course, a simple problem to solve. Though I find people find this result unintuitive and when they first hear about it they have a tendency to try to construct a map that will require 5 colours. A bit like the pickle gambit in that episode of Curb Your enthusiasm.

If you try hard enough I am sure you can break this demo - though I did put it through some rigourous monkey testing before releasing it.

There are a few other demos on the conjure-cp demos page, those are developed by students. I particularly like the Task Allocation one and use it in my teaching.