What solver does this use? This uses the SAT solver encoding as described by André Schidler and Stefan Szeider in their paper.
What if I want to solve something more complex? In such a case, I would recommend using the SAT solver encoding directly on either your own computer, or on some computing cluster.
How do I exit the "edit" mode? To exit the edit mode, press the X in the upper-right corner of the box containing the graph.
Changelog
2023-05-27
Make edges thicker so colours are easier to see/distinguish.
2023-05-25
Fixed calculation of maximum red degree at final stages - thanks Szymon Toruńczyk for noticing this.
There's now a "Find Optimal Contraction" button that should work.
Added support for an edgeList parameter to allow sharing of links to specific graphs.
When contracting vertices, the new graph now tries to keep the geometric layout of the previous graph.