Google OR-Tools

절단·적재의 형식 문제 를 실제로 푸는 데 쓰이는 범용 오픈소스 솔버 스위트(v1에서는 tool로 분류, 등급 C — 프로젝트/벤더 문서 기반). 0/1 배낭 문제는 OR-Tools의 KnapsackSolver로, 정수 선형 계획 정식화는 CP-SAT·MIP 솔버로 다룰 수 있다. 네스팅 같은 기하 문제에 특화된 도구는 아니다.