SatisfiabilityDebugger

Debug SAT instance

Add a Review

Downloads: 0 This Week

Last Update: 2012-08-05

Browse Code

Add to Preferred Sources

Try to find an algorithm that removes as many clauses a possible without increasing the number of solutions.

Project Activity

See All Activity >

Follow SatisfiabilityDebugger

SatisfiabilityDebugger Web Site

Other Useful Business Software

Demo Series - Small Business Backup By Veeam

Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.

Watch Demo Series

Rate This Project

User Reviews

Be the first to post a review of SatisfiabilityDebugger!

Additional Project Details

Registered

2012-08-05

Report inappropriate content

Recommended Projects

Query Expansion for Lucene
State of the art query expansion module for Lucene combined with BM25 ranking function which can take into account some semantic structure in the query using our clauses approach.
Clausula
Clausula is an Automatic Clause Deductor licensed under the GNU GPL. From a set of clauses, this software can determinate whether or not the set is satisfacible. Clausula has been designed for educational purposes, specially for Logic degree curses.
ArgCheck.jl
Package for checking function arguments
TOVAL: Toms Java Library
Library with classes for common programming issues.
_malloc
_malloc is a library able to randomize normal malloc and to make it more secure from possible memory reading; thanks to it, data are allocated in bits with random keys without increasing dimension and access data needed time.