Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Modern SAT solvers: fast, neat and underused (2018). Parent comment
many package dependency managers use sat solvers since suse spearheaded this in 2007/2008 with libsolv, which is blazing fast for large repositories.
https://research.swtch.com/version-sat
There are no comments on this comment yet.
many package dependency managers use sat solvers since suse spearheaded this in 2007/2008 with libsolv, which is blazing fast for large repositories.
https://research.swtch.com/version-sat