プログラム bragi.sf.net

グラフ同型問題を解決するためのパッケージ、新しいベータリファインメントアルゴリズムに基づいています。言語 - C++