From 3f5dde98730310fe58ae6c9432ed75967373045a Mon Sep 17 00:00:00 2001
From: Nils Adermann <naderman@naderman.de>
Date: Fri, 26 Jun 2020 22:04:17 +0200
Subject: [PATCH] Solver: Ensure multi conflict rules still get added to
 learned pool

---
 src/Composer/DependencyResolver/Solver.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Composer/DependencyResolver/Solver.php b/src/Composer/DependencyResolver/Solver.php
index f9f1be37c..fa5e2c586 100644
--- a/src/Composer/DependencyResolver/Solver.php
+++ b/src/Composer/DependencyResolver/Solver.php
@@ -473,6 +473,7 @@ class Solver
                     // there is only ever exactly one positive decision in a multiconflict rule
                     foreach ($rule->getLiterals() as $literal) {
                         if (!isset($seen[abs($literal)]) && $this->decisions->satisfy(-$literal)) {
+                            $this->learnedPool[\count($this->learnedPool) - 1][] = $rule;
                             $l = $this->decisions->decisionLevel($literal);
                             if (1 === $l) {
                                 $l1num++;