solver.vet