new solvers are working (most of them at least), now missing is linking with muphys.