/DecisionDiagramsModernCpp

Decision diagrams in modern c++: rewrite of https://github.com/kunisura/TdZdd in modern c++. With focus on combinatorial optimization.

Primary LanguageC++The UnlicenseUnlicense