First version of fully working but slightly inefficient solver

During a pair programming session on tuesday and continued on thursday Emir and I wrote the following code as a rough first version of a solver with some help from kerlijn as well. It is not fast and very unoptimized we will work on making it faster next week.