From a52b485d9c27c4c7cd26f47fdf878b264900a0a6 Mon Sep 17 00:00:00 2001 From: Tias Guns Date: Tue, 20 Apr 2021 21:29:52 +0200 Subject: [PATCH] marco: immediately shrink to core if not subset (#5203) Small improvement, found while translating it in another system --- examples/python/mus/marco.py | 1 + 1 file changed, 1 insertion(+) diff --git a/examples/python/mus/marco.py b/examples/python/mus/marco.py index b6689636d..042b43fce 100644 --- a/examples/python/mus/marco.py +++ b/examples/python/mus/marco.py @@ -177,6 +177,7 @@ def enumerate_sets(csolver, map): yield ("MSS", csolver.to_c_lits(MSS)) map.block_down(MSS) else: + seed = csolver.seed_from_core() MUS = csolver.shrink(seed) yield ("MUS", csolver.to_c_lits(MUS)) map.block_up(MUS)