From 4fe423482a1644ea54965768ce332cbb4c20a21c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 21 Dec 2023 15:36:20 -0800
Subject: [PATCH] bugfix on slack

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 examples/python/bincover.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/python/bincover.py b/examples/python/bincover.py
index db7400bbd..d6097af5e 100644
--- a/examples/python/bincover.py
+++ b/examples/python/bincover.py
@@ -150,7 +150,7 @@ class BinCoverSolver(UserPropagateBase):
     def _exclude_item2bin(self, item, bin):
         # print("exclude", item, "from", bin)
         # Check if bin has already been blocked
-        if bin.slack < bin.weight:
+        if bin.slack < bin.min_bound:
             return
         if bin.weight >= bin.min_bound:
             return