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 kiliankoe on Sunday May 19, 2019 @11:02AM (#19953617)
As do many language package managers, e.g. Dart's pub.
[ Parent | on HN ]

There are no comments on this comment yet.