ddueruem

Abstract

We present ddueruem, a tool for interfacing with BDD libraries, d-DNNF compilers, uniform, and t-wise samplers. To ease usage by researchers and practitioners, ddueruem is capable of automatically installing all tools it interfaces with, provides a coherent but customizable command-line interface to all the tools, unifies their outputs, and gathers additional statistics. In its present form, ddueruem supports the BDD libraries BuDDy and CUDD, five uniform samplers, as well as proof-of-concept support for the t-wise sampler YASA and the d-DNNF compiler d4.