Change set(i, ..) with add(..) in SatFactory + fix builders wrong definitions for Bool*
Merge branch 'feature-mzn' into develop