Google의 최적화용 오픈소스 소프트웨어 제품군인 OR-Tools는 선형 프로그래밍 및 혼합 정수 프로그래밍 문제를 해결하기 위한 MPSolver 래퍼를 제공합니다.
순수 정수 프로그래밍 문제를 해결하려면 CP-SAT 솔버를 사용해도 됩니다.
예
다음 페이지에서는 MPSolver 사용을 보여주는 예를 제공합니다.
- Glop를 사용하여 스티글러 다이어트 문제 해결하기
- Glop를 사용하여 LP 문제 해결
- SCIP를 사용하여 MIP 문제 해결
- SCIP를 사용하여 빈 패킹 문제 해결
- CP-SAT를 사용하여 할당 문제 풀기
- 배열을 사용하여 모델 정의
일반적인 작업
다음 섹션에서는 LP 및 MIP 해결과 관련된 일반적인 작업을 보여줍니다.
시간 제한
아래 예시는 Glop을 사용할 때 검색 시간 제한을 15밀리초로 설정하는 방법을 보여줍니다.
Python
solver.set_time_limit(15)
C++
solver->set_time_limit(15);
Java
solver.setTimeLimit(15)
C#
solver.SetTimeLimit(15);