Artifact

d-DNNF Modulo Theories - Tool Source Code Software

Authors Gabriele Masina , Emanuele Civini , Massimo Michelutti , Giuseppe Spallitta , Roberto Sebastiani

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.26304
URN: urn:nbn:de:0030-drops-263047

Author Details

Gabriele Masina

DISI, University of Trento, Italy

Emanuele Civini

DISI, University of Trento, Italy

Massimo Michelutti

DISI, University of Trento, Italy

Giuseppe Spallitta

Rice University, Houston, TX, USA

Roberto Sebastiani

DISI, University of Trento, Italy

Content

Software (Tool Source Code): https://github.com/ecivini/tddnnf
archived version

Version/Status

Content created at: 2025-10-09

Cite As Get BibTex

https://doi.org/10.4230/artifacts.26304

Subject Classification

Programming Languages

SMT
Python

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail

© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact