The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
-
Updated
Nov 7, 2026 - Jupyter Notebook
GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
ortoolsHere are 207 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
Pyomo respository provides a comprehensive library of solved models in Supply chain management
puzzle linear-programming milp linear gurobi constraint-programming pyomo optimization-tools ortools supply-chain-management orms or-tools
Algorithm for Cutting Stock Problem using Google OR-Tools. Link to the tool:
python google optimization cutting-stock operations-research optimization-algorithms ortools cutting-stock-problem
Track oriented, multi target, multi hypothesis tracker
tracking optimization radar autonomous mht ilp autonomous-driving autonomous-vehicles autopy ais ntnu ortools multi-frame lp autosea tomht to-mht
Standard tools for workforce management, queuing, scheduling, rostering and optimization problems.
python data-science schedule optimization workforce looking-for-contributors up-for-grabs operations-research ortools scheduling-algorithms begginer-friendly workforce-management investigation-of-operation investigations-search erlangc
A webapp that visualizes and annotates your ortools' CP-SAT logs. Partially inspired by gurobi-logtools.
The tensorflow implementation of NIPS2016 paper "LightRNN: Memory and Computation-Efficient Recurrent Neural Networks" (https://arxiv.org/abs/1610.09893)
Using Google Operation Research Tools (Ortools) to solve complex scheduling problems (General optimization problems).
optimization scheduling constraint-programming operations-research solvers optimization-algorithms ortools scheduling-problem
100+ solvers for logic puzzles with ortools, 41k+ datasets for 130+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajilin and Sudoku-variants.
python benchmark dataset puzzles solvers nonogram ortools akari hitori puzzlesolver yajilin shikaku creek slitherlink
Unified API for multiple optimizer engines
WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models
Source code from AWS Lambda function that solves the Route Optimization problem, using Google Optimization tools
Simulation results of the paper: https://ieeexplore.ieee.org/document/9476848
This repository demonstrates how to solve the Vehicle Routing Problem (VRP) using OpenStreetMap data and OR-Tools library. The VRP is a classic optimization problem where a set of vehicles is tasked with visiting a set of locations while minimizing the total distance traveled.
A Constraint Programming solver for the Nurse Scheduling Problem, with personal shift preferences.
Operations Research in F#
Compute an optimized solution to the Vehicle Routing Problem with Time Windows using OR-Tools
Add this topic to your repoTo associate your repository with the ortools topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |