Added solver setup to appendices, slight modifications throughout.