An SGD-based SVM solver with support for PQ codes