ノードの生成： 左の描画領域で適当な場所をクリックするとノードが生成される。
リンクの生成： 配置したノードをクリックするとノード円周部が赤く変化する。その状態で他の
ノードをクリックするとその２つのノード間にリンクが生成される。
例の生成： 右上の"GENERATE" ボタンをクリックすると例集合が表示される。
グラフのリセット： 右下の"RESET" ボタンをクリックすると初期状態に戻る。
その他の機能： Ctrl キーを押した状態でノードをクリックするとグラフを彩色することができる。
「Ctrl + 左クリック」の度に「無色→赤→青→黄→無色」と変化する。グラフ３彩色の成功状態に
なると背景が赤く変化する。
解を自動的に探索する機能は実装していない。ユーザが遊ぶだけ。