stp online with Winfy

We have hosted the application stp in order to run this application in our online workstations with Wine or directly.

Quick description about stp:

THE STP CODE HAS MOVED TO GITHUB. THE CODE HERE IS STALE. PLEASE CHECKOUT THE FOLLOWING WEBSITE:

http: //stp.github.io/.

Audience: Information Technology, Science/Research, Advanced End Users, Developers, End Users/Desktop, Quality Engineers.
User interface: Console/Terminal.
Programming Language: Python, C++, C, OCaml (Objective Caml), Java.

.