Delete svsolver.py~