DanielKowalczyk1984's repositories
DecisionDiagramsModernCpp
Decision diagrams in modern c++: rewrite of https://github.com/kunisura/TdZdd in modern c++. With focus on combinatorial optimization.
Language:C++Unlicense000
Language:TeXMIT000
modern-cpp-template
A template for modern C++ projects using CMake, Clang-Format, CI, unit testing and more, with support for downstream inclusion.
Language:CMakeUnlicense000
nix-playground
Personal playground nix
Language:NixMIT000
Language:TeXMIT000
TdZdd
A top-down/breadth-first decision diagram manipulation framework
Language:C++MIT000
vcpkg-custom-ports
some vcpkg custom ports