Question about Velleman Vertex K8400 (Kit)

I don't quite understand your question. Basically, you can create files with SolidWorks, output them as .stl files and prepare them for the printer in any slicer tool. Repetier-Host is provided as standard software. There you can read in the .stl file, set the desired layer height/accuracy/speed and then load it onto the printer via USB cable or SD card. Then wait until the printer has printed the drawn part.