\myheading{Further reading}

Russ Cox:
\href{https://research.swtch.com/version-sat}{1},
\href{https://news.ycombinator.com/item?id=13167446}{2}.

Several attempts exists on adding SAT solvers to package managers in major *NIX distributions:

Fedora-specific:
\href{https://fedoraproject.org/wiki/Features/DNF#Detailed_Description}{1},
\href{https://github.com/rpm-software-management/libdnf}{2}.

Debian-specific:
\href{https://lwn.net/Articles/656203/}{1},
\href{https://docs.0install.net/developers/solver/}{2}.

SUSE-specific:
\href{https://en.opensuse.org/images/b/b9/Fosdem2008-solver.pdf}{1},
\href{https://en.opensuse.org/openSUSE:Libzypp_satsolver}{2},
\href{https://github.com/openSUSE/libsolv}{3},
\href{https://github.com/openSUSE/sat-solver}{4},
\href{https://doc.opensuse.org/projects/satsolver/11.2/}{5}.

FreeBSD:
\href{https://github.com/freebsd/pkg/blob/master/libpkg/pkg_solve.c}{1}.
Has picosat SAT solver:
\href{https://github.com/freebsd/pkg/tree/master/external/picosat}{1}.

More comments:
\href{https://news.ycombinator.com/item?id=17685913}{Fedora, OpenSUSE, Windows 7},
\href{https://news.ycombinator.com/item?id=17686824}{PubGrub and Dart},
\href{https://news.ycombinator.com/item?id=17685962}{PHP, Anaconda}.

A paper: \href{http://cseweb.ucsd.edu/~rjhala/papers/opium.pdf}{OPIUM: Optimal Package Install/Uninstall Manager}.