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 >

Follow XML-SAT

XML-SAT Web Site

Other Useful Business Software

Delphi 10.2 Tokyo Starter Icon
Delphi 10.2 Tokyo Starter Icon

Curious about why Delphi's robust language and easy visual design make it a no-brainer for real-world applications?

Delphi Starter Edition is streamlined IDE with code editor, integrated debugger, two-way visual designer and hundreds of visual components. Get started today with our FREE development tool -- no credit card or commitment required.

Rate This Project

Login To Rate This Project

User Reviews

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

Additional Project Details

Intended Audience

Education

User Interface

Command-line

Programming Language

C++

Registered

2010-04-24