move to logical-solver
generic-solver
fix links