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