From 945ead2ab03b7c83b3fbaecf3e1e543525e476f0 Mon Sep 17 00:00:00 2001 From: Julian Andres Klode Date: Thu, 30 Jan 2025 15:34:51 +0100 Subject: solver3: Credit MiniSAT Gbp-Dch: ignore --- apt-pkg/solver3.cc | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'apt-pkg/solver3.cc') 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 -- cgit v1.2.3-70-g09d2