cigol online with Winfy

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

Quick description about cigol:

Cigol (logic, spelled backwards) is a deductive logic solver. It can be embedded inside a parent program or used from the command line. It has absolutely no relationship to Tom Mitchell's book on Machine Learning.

Audience: Developers, Education, Science/Research.

Programming Language: Java.

.