Flipper

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

Flipper Ranking & Summary

Advertisement

  • Rating:
  • License:
  • GPL
  • Price:
  • FREE
  • Publisher Name:
  • Andr Rognes
  • Publisher web site:
  • http://flipper.berlios.de/

Flipper Tags


Flipper Description

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-prologWhat's New in This Release:· New format for tables.· Experimental search strategy which exploits unit and Horn sentences.


Flipper Related Software

About SoftwareSea