Comp
add 3 elems to all8
GAC
GSAC
find solution
Compile
fixpoint
Fix
intStructure
opt
opt
Optimization - fewer number of partitions
New optimization; fix <4 elems bug
Remove duplicated constraints
remove old code
rename