# OR-Tools constraint solver integration