This is a twin-width tool built by William Pettersson. For further details, see the bottom of this page. Issues and questions can also be raised in the repository.

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

- Make edges thicker so colours are easier to see/distinguish.

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