cpsat_utils
