diff options
| author | Julian Andres Klode <julian.klode@canonical.com> | 2025-02-03 17:09:16 +0100 |
|---|---|---|
| committer | Julian Andres Klode <julian.klode@canonical.com> | 2025-02-07 20:59:43 +0100 |
| commit | a9aeb31833279bc7482e284da2efcd7b06bc4f3a (patch) | |
| tree | af9cb82db59c550709e728480c3d0ec7772a99b9 /apt-pkg/solver3.h | |
| parent | 466ff3cf0afc5c034ec77868781d8e19e274e7ff (diff) | |
solver3: Early exit when propagating satisfied clauses
Diffstat (limited to 'apt-pkg/solver3.h')
0 files changed, 0 insertions, 0 deletions