Skip to content

Added detection of unit propagation errors#621

Open
mwetter wants to merge 1 commit intomasterfrom
issue620_unitPropagationError
Open

Added detection of unit propagation errors#621
mwetter wants to merge 1 commit intomasterfrom
issue620_unitPropagationError

Commits

Commits on Apr 1, 2026