ケルン大学で開発されている分枝限定法のためのC++ライブラリのようです. http://www.informatik.uni-koeln.de/abacus/ から. 試したことのある方は情報などいただけるとありがたいです.
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。