Alternatives and similar repositories for TdZdd

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

• Shin-ichi-Minato / SAPPOROBDD
  BDD Package - Sapporo Edition
  ☆21Updated last year
• takemaru / graphillion
  Fast, lightweight graphset operation library
  ☆478Updated 3 months ago
• t-hishinuma / DD-AVX_v3
  Library of High Precision Sparse Matrix Operations Accelerated by SIMD
  ☆43Updated 4 years ago
• iwiwi / radix-heap
  An implementation of radix heap
  ☆62Updated 10 years ago
• junkawahara / frontier
  frontier method
  ☆22Updated 5 years ago
• togatoga / togasat
  A Header-Only CDCL SAT Solver for Programming Contest
  ☆67Updated 5 years ago
• CommCompEngKyotoU / kuisthesis-template
  ☆11Updated 7 months ago
• ricosjp / monolish
  monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture
  ☆200Updated 2 months ago
• tanakamura / instruction-bench
  instruction-bench
  ☆35Updated 2 years ago
• herumi / s_xbyak
  ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python
  ☆12Updated 5 months ago
• herumi / misc
  ☆61Updated 2 weeks ago
• iwiwi / parallel-radix-sort
  An implementation of optimized parallel radix sort
  ☆49Updated 6 years ago
• massivethreads / massivethreads
  Light weight thread library
  ☆67Updated 10 months ago
• kopricky / My-Algorithm
  ☆30Updated 2 years ago
• lpha-z / ltmpc
  C++11TMP compile time C compiler
  ☆27Updated 7 years ago
• colun / mmlang
  Competitive Programming Language MM
  ☆24Updated 11 months ago
• fukushimalab / hpc_exercise
  ネットワーク系演習II：ハイパフォーマンスコンピューティング
  ☆64Updated 8 months ago
• iwiwi / parallel-string-radix-sort
  A parallelized implementation of optimized MSD radix sort for strings
  ☆27Updated 6 years ago
• virtualsecureplatform / kvsp
  A VSP; run your encrypted C code AS IS!
  ☆117Updated 4 years ago
• herumi / cybozulib
  a tiny library for C++
  ☆65Updated 2 months ago
• tudocomp / compact_sparse_hash
  A blend of the compact and sparse hash table implementations.
  ☆15Updated 4 years ago
• iwiwi / hyperloglog-hip
  C++ implementation of an approximate distinct counter by HIP estimator on HyperLogLog
  ☆14Updated 8 years ago
• icpc-jag / rime
  Rime: Automation Tool for Programming Contest Organizers
  ☆49Updated 2 months ago
• PMOB / study-tex
  TeX/LaTeXの知識を共有するためのリポジトリ。9割LaTeX
  ☆26Updated 6 years ago
• hakomo / Simulated-Annealing-Techniques
  焼きなまし法
  ☆111Updated 6 years ago
• pfnet-research / chainer-compiler
  Experimental toolchain to compile and run Chainer models
  ☆113Updated 5 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
• ocxtal / opa64
  Armv8 A64 Assembly & Intrinsics Guide Server
  ☆25Updated 2 years ago
• square1001 / bigint-library
  C++ Library for Large Integers
  ☆29Updated 5 years ago