Skip to content
Snippets Groups Projects
Commit cee3bfcf authored by loki der quaeler's avatar loki der quaeler Committed by loki der quaeler
Browse files

Problems with SYMMETRY constraint on unions of mixed cardinality sets - #432

. Allowing cardinality-zero sets.
. Instead of err-ing out model checking for zero and one element symmtery sets, we now only emit a Warning level MP message
. Still pending the addition of a number of unit tests

[Bug][Tools]
parent 58fdadad
Branches
Tags
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment