crillab/decdnnf_rs

Lagniez, Jean-Marie; Lonca, Emmanuel

doi:10.4230/artifacts.26963

Artifact

crillab/decdnnf_rs Software

Authors Jean-Marie Lagniez , Emmanuel Lonca

Part of: Collection: Supplementary Materials
License: GNU General Public License v3.0 only
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.26963
URN: urn:nbn:de:0030-drops-269637

Author Details

Jean-Marie Lagniez

Univ. Artois, CNRS, CRIL, Lens, France

Emmanuel Lonca

Univ. Artois, CNRS, CRIL, Lens, France

Content

Software (Source Code): https://github.com/crillab/decdnnf_rs
archived version

Version/Status

Content created at: 2024-06-25

Cite As Get BibTex

Jean-Marie Lagniez, Emmanuel Lonca. crillab/decdnnf_rs (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26963

Subject Classification

Programming Languages

Rust

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail