Alternatives and similar repositories for TdZdd

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

• iwiwi / radix-heap
  An implementation of radix heap
  ☆62Updated 10 years ago
• Shin-ichi-Minato / SAPPOROBDD
  BDD Package - Sapporo Edition
  ☆21Updated last year
• takemaru / graphillion
  Fast, lightweight graphset operation library
  ☆477Updated 2 months ago
• togatoga / togasat
  A Header-Only CDCL SAT Solver for Programming Contest
  ☆67Updated 5 years ago
• massivethreads / massivethreads
  Light weight thread library
  ☆66Updated 8 months ago
• junkawahara / frontier
  frontier method
  ☆22Updated 4 years ago
• tanakamura / instruction-bench
  instruction-bench
  ☆35Updated 2 years ago
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆34Updated 2 years ago
• herumi / misc
  ☆61Updated this week
• ricosjp / monolish
  monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture
  ☆200Updated last month
• t-hishinuma / DD-AVX_v3
  Library of High Precision Sparse Matrix Operations Accelerated by SIMD
  ☆43Updated 4 years ago
• herumi / s_xbyak
  ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python
  ☆12Updated 4 months ago
• nushio3 / formura
  Describe stencil formurae without even translating them
  ☆58Updated 8 years ago
• takenobu-hs / cpu-assembly-examples
  CPU assembly examples
  ☆82Updated last year
• lpha-z / ltmpc
  C++11TMP compile time C compiler
  ☆27Updated 7 years ago
• tkbtkysms / solca
  A Space-Optimal Grammar Compression
  ☆10Updated 4 years ago
• onihusube / harmony
  C++ Monadologie
  ☆26Updated 3 years ago
• yahoojapan / fullock
  Fast User Level LOCK library
  ☆27Updated 3 months ago
• YSRKEN / SMIPS
  The Smallest MIP Solver by C++
  ☆9Updated 8 years ago
• nyuichi / yabai-sat
  sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …
  ☆15Updated 4 years ago
• snowberryfield / printemps
  C++ metaheuristics modeler/solver for general integer optimization problems.
  ☆50Updated last week
• penguin-judge / PenguinJudge
  ペンギンジャッジ、よちよちでも歩いていけよ
  ☆13Updated last year
• herumi / x86opti
  ☆38Updated 5 years ago
• kopricky / My-Algorithm
  ☆30Updated 2 years ago
• primitiv / primitiv
  A Neural Network Toolkit.
  ☆174Updated 5 years ago
• loliGothicK / Cranberries
  ☆28Updated 3 years ago
• herumi / cybozulib
  a tiny library for C++
  ☆65Updated 3 weeks ago
• fukushimalab / hpc_exercise
  ネットワーク系演習II：ハイパフォーマンスコンピューティング
  ☆64Updated 7 months ago
• nokotan / OpenSiv3D
  [NO LONGER MAINTAINED] Experimental port of OpenSiv3D to Web
  ☆10Updated last year
• ocxtal / opa64
  Armv8 A64 Assembly & Intrinsics Guide Server
  ☆25Updated 2 years ago