Search results

Make Determinism a Flag Instead of a Feature

Status: Open.

Feature

#94 In SoftVarE-Group/d-dnnf-reasoner;

· uulm-janbaudisch opened on Jan 16, 2026

Support for T-Wise Sampling on Subset of Variables

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#93 In SoftVarE-Group/d-dnnf-reasoner;

· SundermannC opened on Jan 14, 2026

Regression in t-wise sampling

Status: Open.

Bug

#87 In SoftVarE-Group/d-dnnf-reasoner;

· h3ssto opened on Dec 18, 2025

Extend random config creation

Status: Open.

Feature

#84 In SoftVarE-Group/d-dnnf-reasoner;

· uulm-janbaudisch opened on Sep 16, 2025

Improve error handling

enhancementNew feature or requestNew feature or request

Status: Open.

#35 In SoftVarE-Group/d-dnnf-reasoner;

· uulm-janbaudisch opened on Aug 26, 2024

Remove I/O from the library

Status: Open.

Task

#25 In SoftVarE-Group/d-dnnf-reasoner;

· uulm-janbaudisch opened on Jun 18, 2024