Fixed getAssignments: extract assignments by solver solution variable values.
Small cosmetic code changes.
Fixed few problems with rounding errors.