Below you will find pages that utilize the taxonomy term “CP”
Projects
CODD : Combinatorial Optimization with Decision Diagrams
CODD : a C++ library implementing the DDOpt framework
read more
Projects
read more
Haddock : A Language and Architecture for Decision Diagram Compilation
Haddock is …