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

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