Changed the demo
Split solver.solve() into solver.solve() and solver.solutions()
Drastic update to the readme