https://camera-optical-zoom.blogspot.com/2024/02/how-to-add-logical-constraints-in-pulp.html