compute-constraints