"В настоящее время я изучаю CP-SAT Google Or-tools как одну из ссылок в проекте, который я делаю. Кто-нибудь знает какие-либо ссылки или ссылки относительно того, где я могу найти различные модули или библиотеки этого (например, из ortools.constraint_solver import pywrapcp) или документация? "