한줄평
“제약 프로그래밍으로 최적화 문제를 다루려는 분께 잘 갖춰진 개발 환경입니다. MiniZinc 언어와 제약 모델링 지식이 전제되어 일반 개발 용도로는 쓰이지 않습니다.”
이런 분께 제약 프로그래밍으로 최적화 문제를 모델링하려는 분께
좋은 점
- 모델 편집부터 솔버 실행까지 통합
- 여러 솔버를 붙여 최적화 문제 해결
아쉬운 점
- MiniZinc·제약 모델링 지식이 필요
- 용도가 최적화 문제에 한정됨
미니징크 IDE 소개
MiniZinc IDE는 고수준 제약 모델링 언어 MiniZinc를 작성하고 실행하는 통합 개발 환경입니다. 모델을 편집하고 여러 솔버로 돌려 최적화·제약 만족 문제의 해를 구하는 과정을 한 화면에서 처리합니다. 스케줄링, 배치, 조합 최적화 같은 문제를 모델링하려는 연구자와 개발자를 위한 GUI 프로그램입니다.
