Module biodivine_lib_bdd::tutorial

This is a documentation-only module with several sub-modules describing how to use this crate.

Table of contents:

• Introduction to BDDs
• Creating a BddVariableSet and BddVariable-s
• Manipulating Bdds idiomatically
• Serialising and visualising Bdds
• Working with BDD valuations and clauses
• Advanced BDD operations

Modules

p01_bdd_intro

Introduction to BDDs

p02_bdd_variable_set

Creating a BddVariableSet and BddVariables

p03_bdd_manipulation

Manipulating Bdds idiomatically

p04_bdd_serialisation

Serialising and visualising Bdds

p05_bdd_valuations

Bdd clauses and valuations

p06_bdd_advanced_operations

Advanced BDD operations