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

Earn up to 16% annual interest with Nexo.

Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

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

AddSearch

AddSearch is a unified search, AI-answers, and conversational-AI platform used by 1,800+ organizations. Three layers in one platform: keyword search with AI ranking and personalization; content-grounded AI answers with no hallucinations; conversational AI with multi-turn dialogue. Built for...

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 700 add-ons and integrations, the platform...

See Software
800.com

800.com is a business phone and call tracking platform that helps small and growing businesses understand, manage, and respond to inbound calls more effectively. The platform provides local and toll-free numbers, call tracking, call recording, voicemail, SMS, and detailed call reporting so...

See Software
Dialpad Support

Dialpad Contact Center is Dialpad's AI-native platform for customer experience — the connective layer where conversations, intelligence, and action come together in real time. At its core, Dialpad Contact Center is the world's first Agentic AI contact center: AI agents that don't just...

See Software
All in One Accessibility

It is an AI accessibility widget to enable websites to be accessible among people with hearing or vision & motor impaired, color blind, dyslexia, cognitive & learning impairments, seizure & epileptic, ADHD, elderly, & Parkinson. It installs in just 2 minutes. It reduces the risk of...

See Software
HubSpot AEO

HubSpot AEO is an answer engine optimization tool designed to help businesses improve their visibility in AI-driven search results. It focuses on how companies appear in answers generated by platforms like ChatGPT, Gemini, and Perplexity. The platform provides a visibility score that shows how...

See Software

Report inappropriate content