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

$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 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
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
ARGOS Identity

ARGOS is an AI-powered identity verification and workflow automation platform that helps businesses securely verify individuals and organizations worldwide. Our mission is to create a safer digital ecosystem by enabling companies to identify anyone, anywhere, at any time. ARGOS ID Check...

See Software

Report inappropriate content