kunisura / TdZdd
A top-down/breadth-first decision diagram manipulation framework
☆55Updated last year
Related projects ⓘ
Alternatives and complementary repositories for TdZdd
- BDD Package - Sapporo Edition☆18Updated last year
- A Header-Only CDCL SAT Solver for Programming Contest☆67Updated 5 years ago
- kv - a C++ Library for Verified Numerical Computation☆83Updated 2 months ago
- One header library for SAPPOROBDD☆8Updated 10 months ago
- An implementation of radix heap☆62Updated 9 years ago
- frontier method☆22Updated 4 years ago
- TeX/LaTeXの知識を共有するためのリポジトリ。9割LaTeX☆26Updated 6 years ago
- Library of High Precision Sparse Matrix Operations Accelerated by SIMD☆42Updated 3 years ago
- ☆30Updated last year
- bittn compiler infrastructure☆11Updated 4 years ago
- The Smallest MIP Solver by C++☆9Updated 8 years ago
- ☆9Updated 2 years ago
- Light weight thread library☆63Updated 3 weeks ago
- meta-heuristics solver for easy modeling☆30Updated 2 years ago
- instruction-bench☆35Updated last year
- O(N log N)-space IPC solver in OCaml☆52Updated last year
- The C3, SMT/SAT solver written in C.☆34Updated 2 years ago
- Rime: Automation Tool for Programming Contest Organizers☆45Updated 2 months ago
- ネットワーク系演習II：ハイパフォーマンスコンピューティング☆62Updated 10 months ago
- Experimental toolchain to compile and run Chainer models☆112Updated 4 years ago
- ペンギンジャッジ、よちよちでも歩いていけよ☆13Updated last year
- C++ metaheuristics modeler/solver for general integer optimization problems.☆45Updated this week
- seccamp2018 c compiler☆53Updated 2 years ago
- A library manager for competitive programming☆26Updated last year
- Competitive Programming Language MM☆21Updated 2 months ago
- Steiner tree solver☆29Updated 6 years ago
- C++11TMP compile time C compiler☆27Updated 6 years ago
- Describe stencil formurae without even translating them☆58Updated 7 years ago
- Fast, lightweight graphset operation library☆465Updated last month
- ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python☆12Updated 2 months ago