Add your description here
CP+SAT solver framework built to be reliable, performant, and extensible
CLI tool for the Huub CP+SAT solver framework