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
• junkawahara / frontier
  frontier method
  ☆22Updated 4 years ago
• junkawahara / sbdd_helper
  One header library for SAPPOROBDD
  ☆8Updated last month
• iwiwi / radix-heap
  An implementation of radix heap
  ☆62Updated 10 years ago
• takemaru / graphillion
  Fast, lightweight graphset operation library
  ☆477Updated last month
• PMOB / study-tex
  TeX/LaTeXの知識を共有するためのリポジトリ。9割LaTeX
  ☆26Updated 6 years ago
• ricosjp / monolish
  monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture
  ☆200Updated 2 weeks ago
• togatoga / togasat
  A Header-Only CDCL SAT Solver for Programming Contest
  ☆67Updated 5 years ago
• loliGothicK / Cranberries
  ☆28Updated 3 years ago
• colun / mmlang
  Competitive Programming Language MM
  ☆24Updated 9 months ago
• tanakamura / instruction-bench
  instruction-bench
  ☆36Updated 2 years ago
• asi1024 / competitive-library
  A library manager for competitive programming
  ☆26Updated 2 years ago
• icpc-jag / rime
  Rime: Automation Tool for Programming Contest Organizers
  ☆49Updated last week
• CommCompEngKyotoU / kuisthesis-template
  ☆11Updated 5 months ago
• recruit-tech / codable-model-optimizer
  meta-heuristics solver for easy modeling
  ☆31Updated 2 years ago
• massivethreads / massivethreads
  Light weight thread library
  ☆66Updated 8 months ago
• nushio3 / formura
  Describe stencil formurae without even translating them
  ☆58Updated 8 years ago
• Jij-Inc / ommx
  Open standard for mathematical programming interoperability
  ☆40Updated this week
• kopricky / My-Algorithm
  ☆30Updated 2 years ago
• ToruNiina / separo-rs
  An implementation of SEPARO, a board game, with Monte Carlo Tree Search algorithm in Rust/wasm.
  ☆18Updated 4 years ago
• fukushimalab / hpc_exercise
  ネットワーク系演習II：ハイパフォーマンスコンピューティング
  ☆63Updated 6 months ago
• kmiya / naist-thesis-tmpl
  NAIST情報科学研究科向けのやや現代的な修士論文用LaTeXテンプレート
  ☆40Updated 3 years ago
• hakomo / Simulated-Annealing-Techniques
  焼きなまし法
  ☆111Updated 6 years ago
• SX-Aurora / nlcpy
  NLCPy : NumPy-like API accelerated with SX-Aurora TSUBASA
  ☆15Updated last year
• snowberryfield / printemps
  C++ metaheuristics modeler/solver for general integer optimization problems.
  ☆50Updated 3 weeks ago
• t-hishinuma / DD-AVX_v3
  Library of High Precision Sparse Matrix Operations Accelerated by SIMD
  ☆42Updated 4 years ago
• loliGothicK / mitama-dimensional
  C++17 Library for dimensional analysis based on variadic Phantom-Type.
  ☆36Updated last year
• nakatamaho / dgemm_tutorial
  A gemm_tutorial
  ☆34Updated 3 weeks ago
• iwiwi / hyperloglog-hip
  C++ implementation of an approximate distinct counter by HIP estimator on HyperLogLog
  ☆14Updated 8 years ago
• wata-orz / steiner_tree
  Steiner tree solver
  ☆30Updated 7 years ago