only update weights that are not fixed
Allow negated boolean variables