Flipper 0.02.0

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.

Requirements:

· head
· bash
· make
· gcc
· gnu-prolog

What's New in This Release:

· New format for tables.
· Experimental search strategy which exploits unit and Horn sentences.



Product's homepage