This is a fork of the mercurial repository of dsharp on bitbucket. Rationale:
- I want to make some minor changes to the program's interface,
- being a git repository makes it easier to include it as a submodule in my Perl 6 dsharp module.
The history of the mercurial repository has been pulled in using fast-export but author information is incomplete, e.g. "haz" missing an email in the mercurial repository, which is a mandatory field in git commits.
The solver is now always built statically with multiprecision support.
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,
set the GMP variable while executing the Makefile:
make GMP=1
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}
}