 | 미니언새로운 제약 조건 솔버 |
| 지금 다운로드 | |
미니언 순위 및 요약
광고
미니언 태그
미니언 설명
새로운 제약 조건 솔버 Minion은 문제의 크기가 증가하는 것처럼 매우 빠르고 저울이 매우 빠르며 비늘이 늘어납니다. 표준 벤치 마크에 대한 경험적 결과는 최첨단의 제한 조건 툴킷에 대한 크기 성능 향상을 보여줍니다. 이러한 이득은 문제의 크기로 증가 --- 미니언은 확장 가능한 제약 조건을 제공합니다 .Minion은 Matrix 모델의 공통 제한 조건 모델링 장치를 기반으로 한 표현형 입력 언어로 범용 제약 솔버입니다. 매트릭스 모델에 초점을 맞추는 것은 희박하고 최적화 된 구현을 지원합니다. 이는 현재의 제약 조건 툴킷과 대조적으로, 끊임없이 모델링 및 해결 옵션을 제공하기 위해 성능 및 유용성의 비용으로 점진적으로 더 복잡 해졌습니다. ...에 이것은 원시 속도와 결합하여 PuGet의`모델을 향한 미니언을 실질적인 단계로 만들어 낸다 Paradigm.minion은 여전히 발달의 베타 단계에 있습니다. 버그가 예상 될 수 있습니다. 그러나 우리는 그들이보고 된 후에 즉시 버그를 수정하기 위해 노력합니다. 이 릴리스에서는 새로운 기능 : 잘못된 답변을 생성 할 수있는 다음 버그가 수정되었습니다. · 'POW'제약 조건은 '0'이 포함 된 도메인에 의해 혼란 스러웠습니다. · 2 ^ 32에 가까운 정수를 사용하면 때때로 잘못된 결과가 발생할 수 있습니다. 변수가없는 1 개의 튜플이 포함 된 테이블 제약은 사실이 아닙니다. 잘못된 오류를 생성 할 수없는 다음 버그가 수정되었습니다. · 변수가 포함 된 배열은 미니언을 추락했습니다. · 많은 길이가 0의 배열이 발생하면 많은 제약 조건이 충돌합니다. 테이블 제약 조건은 튜플의 길이가 변수 수와 같지 않을 때 충돌이 발생했습니다. 미니언, 그 중 일부는 이전 버전에 있지만 이제는 올바르게 문서화 된 개선이 이루어졌습니다. · 이제 모든 제약을 해제 할 수 있습니다. · 제약 조건 목록의 '또는'을 계산하는 효율적인 방법이 추가되었습니다. · Alldiff 및 GCC (Global Cardinality 제약 조건)의 효율적인 구현이 추가되었습니다. · 다른 여러 바이너리 및 단선이 추가되었습니다. · 이제는 검색 중 변수의 도메인 / 할당을 보여주는 기본 시각화가가 있습니다. · 미니언 빌드 시스템은 이제 'CMAKE'를 사용합니다. · 문서가 개선되었습니다. 훨씬 더 큰 자동화 된 테스트 스위트를 기반으로 많은 다른 작은 개선과 조정이 이루어졌습니다. 재단사는 더 이상 표준 미니언 분포의 일부가 아닙니다. 그것은 별도로 방출됩니다.
미니언 관련 소프트웨어
