1. Create graph in app
  2. Input desired EMSO formula
  3. Click 'Run' and observe output

App Usage

Click the buttons in the top left corner to either move the vertices of the graph (layout) or edit it.
During Layout Mode, you can drag vertices around with the mouse.
During Edit Mode, clicking on an empty space creates a new vertex, clicking on a vertex starts an edge (click on another vertex to create it).
During Delete Mode, edges and vertices can be removed by clicking on them.


Sequoia solves MSO-definable problems on graphs of small treewidth. It is based on a game-theoretic proof of Courcelle's Theorem described in this paper (PDF preprint). See also this paper for an experimental comparison to CPLEX.

You can try it out on this page below.

Getting Sequoia

Sequoia is Open Source and licensed under the Apache License 2.0.

The source code is available from Github.


Click on the applet below to create a graph. Input a formula on the textfield below, then click on 'Run!'. Your output will be shown in the output frame at the bottom.

Input Graph

This applet needs a Java web plugin.
Some example formulas: