First commit

First commit of the whole solver. Still needs some kind of interface.