Earlier quoted context omitted.
Really? "Disruptive"?
Constraint solvers and similar tools can look pretty magical to people who use them for the first time, so I don't blame the OP. What's more interesting is that we're seeing heightened interest in these techniques again after they were ostensibly sidetracked in favor of statistical methods.
But, this (and Church) look very interesting.