Search results

A potential bug with CNF Examples while using dSharp

Status: Open.

#20In 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.

#12In 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.

#8In QuMuLab/dsharp;

· haz opened on Apr 4, 2020

Fix up Makefile

enhancementNew feature or requestNew feature or request

Status: Open.

#7In QuMuLab/dsharp;

· haz opened on Apr 4, 2020

Implement d-DNNF garbage collection

enhancementNew feature or requestNew feature or request

Status: Open.

#6In QuMuLab/dsharp;

· haz opened on Apr 4, 2020

Clean up code / comments / documentation

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#5In QuMuLab/dsharp;

· haz opened on Apr 4, 2020

Improve Smoothing Efficiency

enhancementNew feature or requestNew feature or request

Status: Open.

#3In QuMuLab/dsharp;

· haz opened on Apr 4, 2020

Fix indentation

enhancementNew feature or requestNew feature or request

Status: Open.

#2In QuMuLab/dsharp;

· haz opened on Apr 4, 2020