Flipper

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 >

License

GNU General Public License version 2.0 (GPLv2)

Follow Flipper

Flipper Web Site

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

Similar Business Software

Parasoft

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting embedded and enterprise markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and...

See Software
Crowdin

Crowdin, a localization management software powered by AI, facilitates the localization of diverse content such as websites, mobile apps, games, desktop and web applications, help centers, blogs, and email campaigns. With a repertoire of over 600 add-ons and integrations, the platform...

See Software
Localize

Localize's no-code translation management platform gives organizations the tools they need to launch multilingual experiences in minutes - not months. AI-powered workflows allow teams to easily translate all their digital assets and content in one dashboard: web apps, websites, UIs, marketing...

See Software

Report inappropriate content