kunisura / TdZddLinks
A top-down/breadth-first decision diagram manipulation framework
☆60Updated 2 months ago
Alternatives and similar repositories for TdZdd
Users that are interested in TdZdd are comparing it to the libraries listed below
Sorting:
- BDD Package - Sapporo Edition☆21Updated last year
- Fast, lightweight graphset operation library☆479Updated 4 months ago
- frontier method☆22Updated 5 years ago
- An implementation of radix heap☆62Updated 10 years ago
- A Header-Only CDCL SAT Solver for Programming Contest☆69Updated 6 years ago
- kv - a C++ Library for Verified Numerical Computation☆92Updated 6 months ago
- Library of High Precision Sparse Matrix Operations Accelerated by SIMD☆43Updated 4 years ago
- instruction-bench☆35Updated 2 years ago
- Light weight thread library☆67Updated 11 months ago
- monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture☆200Updated 3 months ago
- ☆61Updated 3 weeks ago
- Describe stencil formurae without even translating them☆58Updated 8 years ago
- ☆11Updated 8 months ago
- Experimental toolchain to compile and run Chainer models☆114Updated 5 years ago
- ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python☆12Updated 6 months ago
- The C3, SMT/SAT solver written in C.☆34Updated last month
- An implementation of optimized parallel radix sort☆50Updated 6 years ago
- ネットワーク系演習II:ハイパフォーマンスコンピューティング☆64Updated 9 months ago
- C++17 Library for dimensional analysis based on variadic Phantom-Type.☆36Updated last year
- TeX/LaTeXの知識を共有するためのリポジトリ。9割LaTeX☆26Updated 6 years ago
- ☆30Updated 2 years ago
- C++11TMP compile time C compiler☆27Updated 7 years ago
- Fast User Level LOCK library☆27Updated 6 months ago
- C++ Monadologie☆26Updated 4 years ago
- ☆38Updated last month
- C++ implementation of an approximate distinct counter by HIP estimator on HyperLogLog☆14Updated 8 years ago
- probabilistic logic programming language for statistical modeling☆37Updated 3 months ago
- a tiny library for C++☆65Updated last week
- optimizing compiler for a subset of C language☆35Updated 5 years ago
- A Neural Network Toolkit.☆177Updated 5 years ago