지코드
Gecode지코드(Gecode for Generic Restrict Development Environment)는 제약조건 만족도 문제를 해결하기 위한 소프트웨어 라이브러리다.C++로 프로그래밍되며, 허용 MIT 면허에 따라 무료 소프트웨어로 배포된다.Gecode는 Prolog, Python, Ruby와 같은 여러 프로그래밍 언어에 대한 바인딩과 AMP 모델링 언어에 대한 인터페이스를 가지고 있다.
The development of Gecode has been led by Christian Schulte,[1] but has been contributed to by many other researchers and programmers, including Denys Duchier, Filip Konvicka, Gabor Szokoli, Guido Tack, Håkan Kjellerstrand, Mikael Lagerkvist, Patrick Pekczynski, Raphael Reischuk, and Tias Guns.[2]
Gecode의 첫 발매는 2005년 12월이었다.[3]그 이후로, 지코드는 급속도로 가장 두드러진 제약 프로그래밍 시스템 중 하나가 되었다.[citation needed]그 이유는 그것이 빨리 달리고, 확장 가능하고, 허용 가능한 면허에 따라 자유롭고, 개방적인 원천이며, 대중적인 언어로 쓰여지기 때문이다.그 자체로 매우 유용할 뿐만 아니라, 그것의 확장성과 라이센스는 그것을 다른 프로젝트에서 사용하기에 매우 적합하게 만든다.[4]예를 들어, Gecode는 Lisp용 Gecode의 포장지 이다.[5]
메모들
- ^ Christian Schulte의 웹페이지에 대한 성명, 2009년 11월 10일
- ^ Gecode Documentation 목록 작성자, 2009년 11월 10일
- ^ 지코드 체인지로그
- ^ Gecode를 사용한 프로젝트 목록
- ^ 마우리시오 토로, 카를로스 에스테르, 카밀로 루에다, 제라드 아사야그. "GELISP: 음악적 제약조건 만족도 문제와 검색 전략을 나타내는 프레임워크." 이론 및 응용 정보 기술 86(2). 2016. 327-331.
참조
- 제약 조건 전파 속도를 높인다.Christian Schulte and Peter J. Stuckey, in Wallace, 2004년 619–633페이지.
- 선언적 모델링 언어를 Gecode로 컴파일 및 실행.라파엘 치프리아노, 아고스티노 도비에, 자코포 마우로.컨퍼런스:로직 프로그래밍 국제회의/공동 국제회의 및 로직 프로그래밍 심포지엄 - ICLP(JICSLP), 페이지 744–748, 2008
- Gecode를 이용한 모나치 제약 프로그래밍.피터 우일, 톰 슈리버스.제8회 제약조건 모델링 및 개조에 관한 국제 워크숍의 진행사항: 171-185.제약 조건 모델링 및 개조에 관한 국제 워크숍.리스본, 2009년 9월 20일
- 대규모 근린 검색용 하이브리드 해결사: Gecode와 EasyLocal++ 혼합.라파엘 치프리아노, 루카 디 가스페로, 아고스티노 도비에르.컨퍼런스:하이브리드 메타휴리스틱스 - HM, 페이지 141–155, 2009.DOI: 10.1007/978-3-642-04918-7_11
외부 링크
- 지코드 홈 사이트
- 크리스찬 슐테, 지코드의 개발자.
- Wayback Machine에 보관된 제약 조건 전파 2009-04-19 - Gecode 이론과 구현을 설명하는 Guido Tack의 논문