crillab/decdnnf_rs_c

Lagniez, Jean-Marie; Lonca, Emmanuel

doi:10.4230/artifacts.26964

Artifact

crillab/decdnnf_rs_c 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.26964
URN: urn:nbn:de:0030-drops-269641

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_c
archived version

Version/Status

Content created at: 2026-03-03

Cite As Get BibTex

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

Description

C bindings for decdnnf-rs

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