flipper to run in linux online online with Winfy

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

Quick description about flipper to run in linux online:

Flipper is a program that does randomised local search for satisfiability of 3 variable prenex sentences in the pure predicate calculus. It does so by proving satisfiability relative to given decidable theories.

Audience: Science/Research.
User interface: Console/Terminal.
Programming Language: Prolog, C, ActionScript.

.