QuMuLab/dsharp

Issues

• Wrong nnf file produced with right model count on formulas

  #12 opened 4 years ago by symphorien
  8

• A potential bug with CNF Examples while using dSharp

  #20 opened 9 months ago by Annlean
  2

• README and Source code are inconsistent

  #19 opened 2 years ago by Annlean
  2

• Port to Mac OSX

  #4 opened 3 years ago by haz
  6

• Wrong MC: cnf clause too long to parse

  #15 opened 3 years ago by VincentDerk
  11

• UNSAT formula is reported as SAT

  #11 opened 3 years ago by symphorien
  1

• UNSAT theory has bad output

  #1 opened 3 years ago by haz
  1

• Question about unlabeled OR nodes

  #9 opened 4 years ago by symphorien
  3

• Add the option to only count relevant variables

  #8 opened 5 years ago by haz
  0

• Fix up Makefile

  #7 opened 5 years ago by haz
  0

• Implement d-DNNF garbage collection

  #6 opened 5 years ago by haz
  0

• Clean up code / comments / documentation

  #5 opened 5 years ago by haz
  0

• Improve Smoothing Efficiency

  #3 opened 5 years ago by haz
  0

• Fix indentation

  #2 opened 5 years ago by haz
  0