Examples from the software domain: Dependency resolution in package managers (packages with version requirements) may use constraint solving. Or type checking m

Examples from the software domain: Dependency resolution in package managers (packages with version requirements) may use constraint solving. Or type checking may be implemented using constraint solving. Though often if the application is well understood enough, it may jump over generic modelling language like MiniZinc and generate instructions for a boolean satisfaction solver directly.