프로그램별 bcat.sf.net

BCAT (부다페스트 복잡성 분석 툴킷): 알고리즘 복잡성에 대한 연구를 위한 개방형 프레임워크