Add 'builder' module back onto the quick access page

SSoelvsten · Dec 13, 2023 · 494e3dd · 494e3dd
1 parent 7782410
commit 494e3dd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/index.md b/docs/index.md
@@ -24,6 +24,7 @@ Quick Access
 2. Decision Diagrams
    - \ref module__bdd module
    - \ref module__zdd module
+3. \ref module__builder module
 4. \ref module__statistics module
 5. \ref page__examples
 6. \ref page__papers