crillab/decdnnf_rs_py

Lagniez, Jean-Marie; Lonca, Emmanuel

doi:10.4230/artifacts.26965

Artifact

crillab/decdnnf_rs_py 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.26965
URN: urn:nbn:de:0030-drops-269650

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

Version/Status

Content created at: 2026-03-03

Cite As Get BibTex

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

Description

Python bindings for decdnnf_rs

Subject Classification

Programming Languages

Rust
Python

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