huub 100.1.0

CP+SAT solver framework built to be reliable, performant, and extensible
Documentation