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