도구
Google OR-Tools
조합 최적화 오픈소스 스위트 — 배낭·정수계획 솔버 포함.
다른 이름: Google OR-Tools · OR-Tools · ortools
절단·적재의 형식 문제 를 실제로 푸는 데 쓰이는 범용 오픈소스 솔버 스위트(v1에서는
tool로 분류, 등급 C — 프로젝트/벤더 문서 기반). 0/1 배낭 문제는
OR-Tools의 KnapsackSolver로, 정수 선형 계획
정식화는 CP-SAT·MIP 솔버로 다룰 수 있다. 네스팅 같은 기하 문제에 특화된 도구는 아니다.
주장 & 증거
모든 관계는 증거 등급을 가진 하나의 주장이고, 문제 간 관계에는 해당되는 경우 등가 수준도 표시합니다. 증거 정책을 참고하세요.
아직 기록된 주장이 없습니다.