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.

Project Activity

See All Activity >

Categories

Artificial Intelligence

License

GNU General Public License version 2.0 (GPLv2)

Follow Flipper

Flipper Web Site

You Might Also Like
eLearning Solutions For Your Workplace Icon
eLearning Solutions For Your Workplace

eloomi is an eLearning solution for your workplace to train, retain and engage employees.

eloomi combines Learning Management (LMS), Onboarding, Authoring, and continuous Performance Management tools in a cloud-based solution. It allows companies to optimize skill training, onboarding and employee development with strong user experience to enhance productivity and employee satisfaction. As a white label solution, the platform can be customized to mirror a company's branding and logo.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Flipper!

Additional Project Details

Operating Systems

Linux, BSD

Languages

English

Intended Audience

Science/Research

User Interface

Console/Terminal

Programming Language

Prolog, C, ActionScript

Related Categories

Prolog Artificial Intelligence Software, C Artificial Intelligence Software, ActionScript Artificial Intelligence Software

Registered

2006-01-04
Report inappropriate content