Alternatives and similar repositories for TdZdd

Users that are interested in TdZdd are comparing it to the libraries listed below

• takemaru / graphillion
  Fast, lightweight graphset operation library
  ☆485Updated 8 months ago
• Shin-ichi-Minato / SAPPOROBDD
  BDD Package - Sapporo Edition
  ☆22Updated 2 years ago
• iwiwi / radix-heap
  An implementation of radix heap
  ☆64Updated 10 years ago
• mskashi / kv
  kv - a C++ Library for Verified Numerical Computation
  ☆93Updated 9 months ago
• nushio3 / formura
  Describe stencil formurae without even translating them
  ☆58Updated 8 years ago
• ricosjp / monolish
  monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture
  ☆201Updated 6 months ago
• junkawahara / frontier
  frontier method
  ☆22Updated 5 years ago
• massivethreads / massivethreads
  Light weight thread library
  ☆67Updated last year
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆35Updated 5 months ago
• togatoga / togasat
  A Header-Only CDCL SAT Solver for Programming Contest
  ☆73Updated 6 years ago
• lpha-z / ltmpc
  C++11TMP compile time C compiler
  ☆27Updated 8 years ago
• t-hishinuma / DD-AVX_v3
  Library of High Precision Sparse Matrix Operations Accelerated by SIMD
  ☆44Updated 4 years ago
• tanakamura / instruction-bench
  instruction-bench
  ☆35Updated 3 years ago
• pfnet-research / chainer-compiler
  Experimental toolchain to compile and run Chainer models
  ☆115Updated 5 years ago
• herumi / misc
  ☆62Updated this week
• fukushimalab / hpc_exercise
  ネットワーク系演習II：ハイパフォーマンスコンピューティング
  ☆64Updated last year
• primitiv / primitiv-rust
  Rust binding of primitiv
  ☆20Updated 7 years ago
• takenobu-hs / cpu-assembly-examples
  CPU assembly examples
  ☆86Updated last year
• Jij-Inc / ommx
  Open standard for mathematical programming interoperability
  ☆46Updated this week
• loliGothicK / Cranberries
  ☆28Updated 3 years ago
• colun / mmlang
  Competitive Programming Language MM
  ☆24Updated last year
• herumi / blog
  ☆39Updated this week
• YouyouCong / ppl-summer-school-2022
  ☆26Updated 3 years ago
• primitiv / primitiv
  A Neural Network Toolkit.
  ☆178Updated 6 years ago
• okdshin / flatline_lsp
  Github Copilot-like LSP code completion server with local LLM powered by llama.cpp
  ☆21Updated last year
• iwiwi / parallel-radix-sort
  An implementation of optimized parallel radix sort
  ☆50Updated 7 years ago
• iwiwi / parallel-string-radix-sort
  A parallelized implementation of optimized MSD radix sort for strings
  ☆27Updated 7 years ago
• nyuichi / yabai-sat
  sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …
  ☆16Updated 4 years ago
• ushitora-anqou / constexpr-nn
  constexpr is fun.
  ☆13Updated 7 years ago
• nakatamaho / dgemm_tutorial
  A gemm_tutorial
  ☆38Updated 7 months ago