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

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

Follow XML-SAT

XML-SAT Web Site

Other Useful Business Software

AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.

Try it Free

Rate This Project

User Reviews

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

Additional Project Details

Operating Systems

Linux, BSD

Intended Audience

Education

User Interface

Command-line

Programming Language

C++

Related Categories

C++ Artificial Intelligence Software

Registered

2010-04-24

Similar Business Software

LTX Studio

Control every aspect of your video using AI, from ideation to final edits, on one holistic platform. We’re pioneering the integration of AI and video production, enabling the transformation of a single idea into a cohesive, AI-generated video. LTX Studio empowers individuals to share their...

See Software
Prezent

Prezent is a cloud-based AI presentation software designed to optimize the entire process of crafting and delivering presentations. The platform uses AI algorithms to understand the unique needs and styles of each user, tailoring presentations to suit individual preferences and organizational...

See Software
c/side

Keeping track of 3rd party scripts, taking away obscurity. You'll know what gets delivered to your user's browser 100% of the time, and we'll make the scripts up to 30% faster. 3rd party scripts have unlimited reign in the browser of your users. When it goes wrong, it goes really wrong. Negative...

See Software