Add bits on array equations and using Solver.