ortools
Standard tools for workforce management, queuing, scheduling, rostering and optimization problems.
100+ logic puzzle solvers on Google OR-Tools (e.g., yajilin, slitherlink, nonogram), with bidirectional conversion between puzz.link and Penpa+ URLs for supported genres (shared IR).