• Adiar

Treffer: Adiar

Title:
Adiar
Authors:
Sølvsten, Steffan Christ, orcid:0000-0003-0963-, Van de Pol, Jaco, Jakobsen, Anna Blume, Rysgaard, Casper Moldrup, Carstensen, Erik Funder, Thomasen, Mathias Weller Berg
Publisher Information:
Zenodo
Publication Year:
2023
Collection:
Zenodo
Subject Terms:
Binary Decision Diagrams, Zero-suppressed Decision Diagrams, External Memory Algorithms, Time-forward Processing
Document Type:
E-Ressource software
Language:
unknown
Relation:
https://github.com/SSoelvsten/adiar/tree/v2.0.0-beta.6; https://zenodo.org/records/10410515; oai:zenodo.org:10410515; https://doi.org/10.5281/zenodo.10410515
DOI:
10.5281/zenodo.10410515
Availability:
https://doi.org/10.5281/zenodo.10410515
https://zenodo.org/records/10410515
Rights:
MIT License ; mit ; https://opensource.org/licenses/MIT
Accession Number:
edsbas.9C97E3D7
Database:
BASE

Weitere Informationen

Based on the work of Lars Arge, Adiar is a BDD package that makes use of time-forward processing to improve the I/O complexity of BDD manipulation. This makes it able to achieve efficient manipulation of BDDs, even when they outgrow the memory limit of the given machine.