XML-SAT

A modular SAT solver based on Minisat. The modules are described in XML-files, which are processed by a perl script; thus generating n-solvers.

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3), Other License

Follow XML-SAT

XML-SAT Web Site

Other Useful Business Software

Go from Code to Production URL in Seconds

Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.

Start Free

Rate This Project

User Reviews

Be the first to post a review of XML-SAT!

Additional Project Details

Operating Systems

BSD, Linux

Intended Audience

Education

User Interface

Command-line

Programming Language

C++

Related Categories

C++ Artificial Intelligence Software

Registered

2010-04-24

Similar Business Software

Process Street

Process Street is an AI-powered compliance operations platform that automates complex workflows, enforces standards, and tracks audit data in real time. Teams use it to create structured SOPs, assign tasks, collect data, and monitor execution with intelligent oversight. From onboarding and...

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
JAMS Scheduler

JAMS is an automation orchestration and job scheduling solution that runs, monitors, and manages critical IT processes from a single console, from simple batch jobs to complex, cross-platform workflows. JAMS automates jobs across Windows, Linux, UNIX, IBM i, z/OS, and OpenVMS, with native...

See Software
Podium

Podium is a comprehensive AI-driven lead management and communication platform utilized by over 100,000 businesses seeking to enhance customer acquisition and retention. At the heart of Podium’s innovation is its AI employee, which ensures businesses respond to incoming leads instantly around...

See Software
Auth0

Auth0 takes a modern approach to Identity, providing secure access to any application, for any user. Safeguarding billions of login transactions each month, Auth0 delivers convenience, privacy, and security so customers can focus on innovation. Auth0 is part of Okta, The World’s Identity...

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