just an update to be more junit4 style and added a link to more detailed description how to use this solver