3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-05 17:14:07 +00:00

bugfix on slack

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-12-21 15:36:20 -08:00
parent 766f5f04c0
commit 4fe423482a

View file

@ -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