Is there a problem with the approach using symmetries and BDDs and solving the BDD in the attractor #4
Description
Check whether the results for PD 1/2, 1/3, 3/1, 4/1, CM 2/2, 2/3 and 3/3 are correct.
{{ message }}
Check whether the results for PD 1/2, 1/3, 3/1, 4/1, CM 2/2, 2/3 and 3/3 are correct.