Now SDLPS can be downloaded and used for free for personal, educational or non commercial use. Feel free to ask to the administrator to request your key.

Enjoy formal modeling!