This codebase contains a heuristic to find solutions to metric TSP problems which are of size 10-50, within 30 seconds. The Held-Karp algorithm uses dynamic programming with bit masking to solve a TSP ...

GreyJack Solver is an AI constraint solver for Python (current version) built on top of Polars. It empowers you to solve a wide range of constraint optimization problems, including continuous, integer ...

Python is convenient and flexible, yet notably slower than other languages for raw computational speed. The Python ecosystem has compensated with tools that make crunching numbers at scale in Python ...