Constraint programming is used. One (very cool) instance of constraint programming occurs at Ericsson through the Unison project http://unison-code.github.io/

Constraint programming is used. One (very cool) instance of constraint programming occurs at Ericsson through the Unison project http://unison-code.github.io/ http://unison-code.github.io/ .