1. Christian Muise
  2. DSHARP

Overview

HTTPS SSH
DSHARP version 1.0

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

Please cite using the following:

@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}
}