Add a skeleton solver to show the interface

And a better README