News for hackers. Stuff that matters.

A comment on Modern SAT solvers: fast, neat and underused. Parent comment

Re:Modern SAT solvers: fast, neat and underused by munificent on Sunday May 19, 2019 @01:06PM (#19954259)
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

[ Parent | on HN ]
Re:Modern SAT solvers: fast, neat and underused by tcard on Monday May 20, 2019 @03:32AM (#19958218)
A notable exception being Go modules, which do Minimal Version Selection [1], a much simpler approach.

[1] https://research.swtch.com/vgo-mvs

[ Parent | on HN ]