Flipper 0.02.0

Flipper is a program that does randomised local search for satisfiability of 3 variable prenex sentences.

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
send us
an update
LICENSE TYPE:
GPL (GNU General Public License) 
USER RATING:
3.4/5 18
DEVELOPED BY:
André Rognes
HOMEPAGE:
flipper.berlios.de
CATEGORY:
ROOT \ Science
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

#scientific application #prenex sentences #predicate calculus #local #searching #satisfiability #variable

Add your review!

SUBMIT