feat: Add interface for nogood minimiser#326

Merged

ImkoMarijnissen merged 7 commits intomainfrom

feat/minimiser-interface

Dec 12, 2025

Commits on Nov 27, 2025

feat: nogood minimisation interface + implement it for recursive minimisation
ImkoMarijnissen
committed

Commits on Dec 4, 2025

refactor: use minimisation trait in semantic minimiser
ImkoMarijnissen
committed
fix: pass current nogood when getting current reason in minimisation context
ImkoMarijnissen
committed