If you use a programming language with a package manager like npm, PIP, CPAN, Pub, Cargo, Bundler, etc. then every time you ask it to figure out what versions of your dependencies to use, you are effectively running a SAT solver.

In particular, pub — the package manager for Dart — explicitly uses the CDCL process described in the article:

https://medium.com/@nex3/pubgrub-2fb6470504f