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

The Sight of Sound The Sight of Sound Icon
The Sight of Sound Icon

­ Improve VoIP Visibility from SIP to RTP

Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by having a proactive analysis of on-prem, hybrid and UCaaS voice services. Try the ThousandEyes VoIP monitoring solution today, free.

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