2007-08-17から1日間の記事一覧

ABACUS (A Branch And CUt System)

ケルン大学で開発されている分枝限定法のためのC++ライブラリのようです. http://www.informatik.uni-koeln.de/abacus/ から. 試したことのある方は情報などいただけるとありがたいです.