rule out variables not intersecting with the set of values in the global cardinality constraint in flatzinc
rule out variables not intersecting with the set of values in the global cardinality constraint in flatzinc
falcong/or-tools,atpohjal/or-tools,waelrash1/or-tools,tonybenny2004/or-tools,bask/or-tools,Aminakh/or-tools,waelrash1/or-tools,bask/or-tools,christchron/or-tools,abdelkimo/or-tools,waelrash1/or-tools,atpohjal/or-tools,bask/or-tools,bask/or-tools,christchron/or-tools,Aminakh/or-tools,abdelkimo/or-tools,atpohjal/or-tools,waelrash1/or-tools,bask/or-tools,christchron/or-tools,falcong/or-tools,tonybenny2004/or-tools,falcong/or-tools,bask/or-tools,Aminakh/or-tools,falcong/or-tools,christchron/or-tools,christchron/or-tools,falcong/or-tools,tonybenny2004/or-tools,tonybenny2004/or-tools,waelrash1/or-tools,waelrash1/or-tools,atpohjal/or-tools,abdelkimo/or-tools,abdelkimo/or-tools,Aminakh/or-tools,atpohjal/or-tools,atpohjal/or-tools,Aminakh/or-tools,abdelkimo/or-tools,abdelkimo/or-tools,christchron/or-tools,falcong/or-tools,tonybenny2004/or-tools,Aminakh/or-tools,tonybenny2004/or-tools