[__rito__]

I know about only one such library, and works great for toy problems: PuLP [0][1].

[0]: https://coin-or.github.io/pulp/

[1]: https://pypi.org/project/PuLP/