FQL, Quantomatic, Isabelleで使っているライブラリ

FQLもQuatomaticもグラフ描画には、Java Jungを使っているようだ。

• http://jung.sourceforge.net/

Jungの開発は止まっているみたい。http://stackoverflow.com/questions/6162618/java-graph-library-for-dynamic-visualisation にグラフライブラリが色々ある。

Quantomaticでjarを実行ファイルとするには、

• http://launch4j.sourceforge.net/

FQLのスキャナー／パーザーは、

• http://jflex.de/
• https://github.com/jparsec/jparsec

FQLのテキストエリアは、

• http://bobbylight.github.io/RSyntaxTextArea/