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 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 ]

There are no comments on this comment yet.