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/