added ac3 files
rename
AC3 seems ok for binary and non binary extentional constraints
optim
Merge branch 'AC3'