プログラム bcat.sf.net

BCAT (ブダペスト複雑性分析ツールキット): アルゴリズムの複雑性に関する研究のためのオープンフレームワーク