Constraints up to Software