Added boolean attributes. Small improvements and comments.
Started to write the solver using choco for the feature model.
Tried first with choco 3.0, but reverted to the old - hard to get any
example working.