Update to 1.0

Contains several updates, especially the improvement of the solving algo
and the implementation of the notification system