diff options
Diffstat (limited to 'apt-pkg/solver3.cc')
| -rw-r--r-- | apt-pkg/solver3.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/apt-pkg/solver3.cc b/apt-pkg/solver3.cc index 6f445328c..73f7fd0c4 100644 --- a/apt-pkg/solver3.cc +++ b/apt-pkg/solver3.cc @@ -5,6 +5,17 @@ * Copyright (c) 2023 Canonical Ltd * * SPDX-License-Identifier: GPL-2.0+ + * + * This solver started from scratch but turns slowly into a variant of + * MiniSat as documented in the paper + * "An extensible SAT-solver [extended version 1.2]." + * by Niklas Eén, and Niklas Sörensson. + * + * It extends MiniSAT with support for optional clauses, and differs + * in that it removes non-deterministic aspects like the activity based + * ordering. Instead it uses a more nuanced static ordering that, to + * some extend, preserves some greediness and sub-optimality of the + * classic APT solver. */ #define APT_COMPILING_APT |