Align-BDD
Contents:
Implementation: overview
Computational infrastructure
General reproducibility
Project repository structure.
Implementation details
Raw data formats
Code organization
Align-BDD
»
Implementation details for Align-BDD project
View page source
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