svm -- A specializer built on the ASP SEJITS framework svm is based on ctree for more information on ctree see ctree on github.