added working WSMP solver, prototype PETSc solver