Search results

A potential bug with CNF Examples while using dSharp

Status: Open.

#20 In QuMuLab/dsharp;

· Annlean opened on Mar 29, 2024

Wrong nnf file produced with right model count on formulas

bugSomething isn't workingSomething isn't working

Status: Open.

#12 In QuMuLab/dsharp;

· symphorien opened on May 28, 2021

Add the option to only count relevant variables

enhancementNew feature or requestNew feature or request

Status: Open.

#8 In QuMuLab/dsharp;

· haz opened on Apr 4, 2020

Fix up Makefile

enhancementNew feature or requestNew feature or request

Status: Open.

#7 In QuMuLab/dsharp;

· haz opened on Apr 4, 2020

Implement d-DNNF garbage collection

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In QuMuLab/dsharp;

· haz opened on Apr 4, 2020

Clean up code / comments / documentation

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#5 In QuMuLab/dsharp;

· haz opened on Apr 4, 2020

Improve Smoothing Efficiency

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In QuMuLab/dsharp;

· haz opened on Apr 4, 2020

Fix indentation

enhancementNew feature or requestNew feature or request

Status: Open.

#2 In QuMuLab/dsharp;

· haz opened on Apr 4, 2020