プログラム bragi.sf.net

Bragi 無料

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