kunisura / TdZdd
A top-down/breadth-first decision diagram manipulation framework
☆52Updated 11 months ago
Related projects: ⓘ
- BDD Package - Sapporo Edition☆16Updated 11 months ago
- The C3, SMT/SAT solver written in C.☆34Updated 2 years ago
- A Header-Only CDCL SAT Solver for Programming Contest☆67Updated 4 years ago
- C++11TMP compile time C compiler☆27Updated 6 years ago
- Describe stencil formurae without even translating them☆58Updated 7 years ago
- An implementation of radix heap☆62Updated 9 years ago
- Light weight thread library☆62Updated last year
- kv - a C++ Library for Verified Numerical Computation☆82Updated 3 weeks ago
- bittn compiler infrastructure☆11Updated 3 years ago
- instruction-bench☆35Updated last year
- ☆24Updated last year
- LMNtal Compiler☆19Updated 5 months ago
- The Smallest MIP Solver by C++☆9Updated 7 years ago
- slim LMNtal implementation☆18Updated 2 months ago
- O(N log N)-space IPC solver in OCaml☆52Updated last year
- TeX/LaTeXの知識を共有するためのリポジトリ。9割LaTeX☆26Updated 5 years ago
- Competitive Programming Language MM☆21Updated 6 months ago
- Rust binding of primitiv☆20Updated 6 years ago
- Fast, lightweight graphset operation library☆460Updated this week
- ☆9Updated last year
- ☆58Updated 3 weeks ago
- ☆37Updated 4 years ago
- Library of High Precision Sparse Matrix Operations Accelerated by SIMD☆42Updated 3 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆36Updated 2 months ago
- ☆14Updated 7 months ago
- Armv8 A64 Assembly & Intrinsics Guide Server☆25Updated last year
- constexpr is fun.☆13Updated 6 years ago
- ☆30Updated last year
- Rime: Automation Tool for Programming Contest Organizers☆44Updated last week
- Github Copilot-like LSP code completion server with local LLM powered by llama.cpp☆18Updated 6 months ago