| | 미니언빠르고 확장 가능한 제약 솔버 |
| 지금 다운로드 | |
미니언 순위 및 요약
광고
미니언 태그
미니언 설명
빠르고 확장 가능한 제약 솔버 Minion은 문제의 크기가 증가하는 것처럼 매우 빠르게 빠르고 비늘이있는 새로운 제약 솔버입니다. 표준 벤치 마크에 대한 경험적 결과는 최첨단의 제한 조건 툴킷에 대한 크기 성능 향상을 보여줍니다. 이러한 이득은 문제의 크기로 증가 --- 미니언은 확장 가능한 제약 조건을 제공합니다 .Minion은 Matrix 모델의 공통 제한 조건 모델링 장치를 기반으로 한 표현형 입력 언어로 범용 제약 솔버입니다. 매트릭스 모델에 초점을 맞추는 것은 희박하고 최적화 된 구현을 지원합니다. 이는 더 많은 모델링 및 해결 옵션을 제공하기 위해 현재의 제약 조건 툴킷과 대조적으로 성능과 유용성의 비용으로 점진적으로 더 복잡 해졌습니다. 아주 적은 옵션. 이것은 원시 속도와 결합하여 Puget의 '모델의 모델을 향한 상당한 단계를 향하게하고'패러다임을 실행합니다. 참고 : 미니언은 여전히 발달의 베타 단계에 있습니다. 버그가 예상 될 수 있습니다. 이 릴리스에서는 새로운 기능 : 개량: · 코드가 청소되고 모듈화되어 더 쉽게 이해할 수 있고 수정 가능성이 있습니다. · 정보 모드에서 자세한 정보가 제공됩니다 · 사소한 버그 수정 성능 향상 : · Boolean 변수에 대한 바운드 수표가 더 효율적입니다 · 입력 파일이 빠르게 구문 분석됩니다 다른 변경 사항 : · 빌드 시스템은 이제 테스트를 실행하기 위해 목표를 제공합니다. · 빌드는 더 이상 주요 디렉토리에서 수행되지 않지만 별도의 디렉토리에서 (원하는만큼 동일한 소스의 여러 가지 다른 빌드를 가질 수 있음) · 더 나은 Cygwin 지원
미니언 관련 소프트웨어
