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
  ☆22Updated last year
• junkawahara / frontier
  frontier method
  ☆22Updated 4 years ago
• junkawahara / sbdd_helper
  One header library for SAPPOROBDD
  ☆8Updated last year
• iwiwi / radix-heap
  An implementation of radix heap
  ☆62Updated 10 years ago
• recruit-tech / codable-model-optimizer
  meta-heuristics solver for easy modeling
  ☆31Updated 2 years ago
• CommCompEngKyotoU / kuisthesis-template
  ☆11Updated 4 months ago
• togatoga / togasat
  A Header-Only CDCL SAT Solver for Programming Contest
  ☆67Updated 5 years ago
• PMOB / study-tex
  TeX/LaTeXの知識を共有するためのリポジトリ。9割LaTeX
  ☆26Updated 6 years ago
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆34Updated 2 years ago
• Jij-Inc / ommx
  Open standard for mathematical programming interoperability
  ☆38Updated this week
• t-hishinuma / DD-AVX_v3
  Library of High Precision Sparse Matrix Operations Accelerated by SIMD
  ☆42Updated 3 years ago
• fukushimalab / hpc_exercise
  ネットワーク系演習II：ハイパフォーマンスコンピューティング
  ☆63Updated 5 months ago
• colun / mmlang
  Competitive Programming Language MM
  ☆21Updated 7 months ago
• takemaru / graphillion
  Fast, lightweight graphset operation library
  ☆475Updated last week
• mskashi / kv
  kv - a C++ Library for Verified Numerical Computation
  ☆88Updated 2 months ago
• herumi / x86opti
  ☆38Updated 5 years ago
• massivethreads / massivethreads
  Light weight thread library
  ☆66Updated 6 months ago
• ricosjp / monolish
  monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture
  ☆201Updated 2 months ago
• primitiv / primitiv-rust
  Rust binding of primitiv
  ☆20Updated 6 years ago
• kmiya / naist-thesis-tmpl
  NAIST情報科学研究科向けのやや現代的な修士論文用LaTeXテンプレート
  ☆40Updated 3 years ago
• icpc-jag / rime
  Rime: Automation Tool for Programming Contest Organizers
  ☆47Updated 8 months ago
• herumi / misc
  ☆61Updated 2 months ago
• tanakamura / instruction-bench
  instruction-bench
  ☆36Updated 2 years ago
• pfnet-research / chainer-compiler
  Experimental toolchain to compile and run Chainer models
  ☆112Updated 4 years ago
• lpha-z / ltmpc
  C++11TMP compile time C compiler
  ☆27Updated 7 years ago
• noshi91 / Library
  競技プログラミング
  ☆38Updated 2 years ago
• SoftwareFoundationGroupAtKyotoU / kuis-thesis-cover
  ☆17Updated 3 months 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
• lapisla-prover / lapisla-prover
  lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
  ☆47Updated last month
• herumi / s_xbyak
  ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python
  ☆12Updated 2 months ago