Diese hervorragende SAT-Software wird vom Autor Gerhard Riesner (DB3DH) leider nicht mehr aktualisiert und angeboten.