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

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Flipper!

Additional Project Details

Operating Systems

BSD, Linux

Languages

English

Intended Audience

Science/Research

User Interface

Console/Terminal

Programming Language

ActionScript, C, Prolog

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
Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software
AddSearch

AddSearch goes beyond traditional site search with AI Answers and AI Conversations, enabling businesses to deliver direct, conversational, and context-aware responses. Combined with lightning-fast search and smart recommendations, AddSearch helps organizations create personalized, engaging...

See Software
Apify

Apify is a full-stack web scraping and automation platform helping anyone get value from the web. At its core is Apify Store, a marketplace with over 10,000 Actors where developers build, publish, and monetize automation tools. Actors are serverless cloud programs that extract data, automate...

See Software
Muzaic

Muzaic is a tool that helps you craft 🎶music that is ideal for your video🎞️. 🎸 Get your one-of-a-kind soundtrack that is easily adapted to your vision, ready in one minute, and comes with copyright protection. 🎺 Composed by AI and recorded by professional musicians. How does it work? It only...

See Software