mouse-solver

an educational logic program solver for exploring entry-level concepts in satisfiability solving such as 1st UIP, learned clauses, backjumping, etc.

Project Samples

Project Activity

See All Activity >

Follow mouse-solver

mouse-solver Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

Be the first to post a review of mouse-solver!

Additional Project Details

Operating Systems

Windows

Registered

2011-04-21

Similar Business Software

Coursebox AI

Transform your content into engaging eLearning experiences with Coursebox, the #1 AI-powered eLearning authoring tool. Our platform automates the course creation process, allowing you to design a structured course in seconds. Simply make edits, add any missing elements, and your course is ready...

See Software
Google Cloud Platform

Google Cloud is a cloud-based service that allows you to create anything from simple websites to complex applications for businesses of all sizes. New customers get $300 in free credits to run, test, and deploy workloads. All customers can use 25+ products for free, up to monthly usage...

See 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
Wave Browser

Wave Browser is an efficient, eco-conscious browser that creates a cleaner, more organized, and more meaningful online experience while helping remove ocean plastic through its partnership with 4ocean. Built on the trusted Chromium foundation, Wave Browser brings essential tools directly into...

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
Adzooma

Adzooma’s an award-winning digital marketing platform that helps businesses of any size grow by making online marketing easy. Our all-in-one platform helps you set up, manage, and optimize your Google, Facebook, and Microsoft advertising campaigns all in one place. By leveraging innovative...

See Software