fix(or): join an or sharing no variable with earlier clauses as a cross product (#610, backport) - #613

fix(or): join an or sharing no variable with earlier clauses as a cross product (#610, backport)#613

adityamukho merged 1 commit into

mainproject-minigraf/minigraf:mainfrom

fix/610-or-cross-product-v2project-minigraf/minigraf:fix/610-or-cross-product-v2Copy head branch name to clipboard