svp-solver-seminar