Flipper 0.02.0

Flipper is a program that does randomised local search for satisfiability of 3 variable prenex sentences.
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.

last updated on:
February 16th, 2008, 8:25 GMT
price:
FREE!
developed by:
André Rognes
homepage:
flipper.berlios.de
license type:
GPL (GNU General Public License) 
category:
ROOT \ Science

FREE!

In a hurry? Add it to your Download Basket!

user rating 18

3.4/5
 

0/5

Add your review!

SUBMIT