symbolic logic exploration to run in windows online over linux online

We have hosted the application symbolic logic exploration to run in windows online over linux online in order to run this application in our online workstations with Wine or directly.

Quick description about symbolic logic exploration to run in windows online over linux online:

Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.

Audience: Science/Research, Education, End Users/Desktop.
User interface: X Window System (X11), Win32 (MS Windows).
Programming Language: Pascal, Delphi/Kylix.

.