Gecode: 고성능 오픈소스 제약 솔버
2025-07-05
Gecode는 제약 기반 시스템을 개발하기 위한 오픈소스 C++ 툴킷입니다. 최첨단 성능과 모듈형 설계로 유명하며, 정수, 부울, 집합, 부동 소수점에 대한 포괄적인 제약 집합(Global Constraint Catalog의 70개 이상의 글로벌 제약 등)을 갖추고 있습니다. Gecode는 고급 분기 휴리스틱, 여러 검색 엔진(병렬 검색 포함), MiniZinc 지원, 자동 대칭성 파괴, 재시작 메커니즘을 제공합니다. 포괄적인 설명서와 5만 개 이상의 테스트 사례를 통해 신뢰성과 사용 편의성이 보장됩니다. Gecode는 2008년부터 2012년까지 MiniZinc 챌린지에서 모든 금메달을 획득하여 뛰어난 성능을 입증했습니다.
더 보기
개발
제약 솔버