DSHARP Usage
The parameters for DSHARP can be seen by running DSHARP without specifying any arguments. You should see something similar to this:
Usage: dsharp [options] [CNF_File] Options: -noPP turn off preprocessing -noCA no conflict analysis nor -clauses -noCC turn off component caching -noNCB turn off nonchronological backtracking -noIBCP turn off implicit BCP -q quiet mode -t [s] set time bound to s seconds -cs [n] set max cache size to n MB -FrA [file] file to output the run statistics -Fgraph [file] file to output the d-DNNF graph as dot -Fnnf [file] file to output the nnf graph to