huub 100.0.0

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