Skip to content

QuMuLab/dsharp

master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
src
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

DSHARP

dsharp logo

DSHARP is an open source CNF -> d-DNNF compiler based on sharpSAT. Similar to the c2d software, DSHARP takes a boolean theory in conjunctive normal form as input, and compiles it into deterministic decomposable negation normal form.

Usage

If you would like the solver to use infinite precision numbers for the counting, you must have the GMP library (libgmp-dev) installed. To use the version with GMP, copy the Makefile_gmp to Makefile. Otherwise, copy Makefile_nogmp to Makefile and proceed normally.

To compile this version of DSHARP simply run make.

To compile DSHARP statically, run make static

Citing

@inproceedings{Muise2012,
    author = {Muise, Christian and McIlraith, Sheila A. and Beck, J. Christopher and Hsu, Eric},
    booktitle = {Canadian Conference on Artificial Intelligence},
    title = {{DSHARP: Fast d-DNNF Compilation with sharpSAT}},
    keywords = {sat, knowledge compilation},
    year = {2012}
}

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published