Implementation details for Align-BDD project

Contents:

• Implementation: overview
• Computational infrastructure
• General reproducibility
• Project repository structure.
• Implementation details
• Raw data formats
  • Binary Decision Diagrams
  • j-UFLP instance data
• Code organization
  • Producing figures
  • Key data structures and algorithms.
    • BDD
    • varseq
    • heuristics
    • BB_search
    • UFL
    • UFLP_fullDD
    • UFLPOrder
    • jUFLP_cavemen
    • jUFLP_utils
  • Numerical experiments
    • gen_BDD_pair
    • solve_inst
    • experiments
    • UFLP_2_cav
    • darkcloud
  • Testing framework
    • BDD_test
    • BDD_equivalence
    • varseq_test
    • BB_search_test
    • UFLP_test

Indices and tables

• Index

• Module Index

• Search Page