blynn / dlx
Library that solves the exact cover problem using Dancing Links, also known as DLX.
☆50Updated 3 years ago
Alternatives and similar repositories for dlx:
Users that are interested in dlx are comparing it to the libraries listed below
- arbitrary precision arithmetic library☆43Updated 6 years ago
- Parser for language from Elements of Programming☆38Updated 11 years ago
- Fast interpreter with macros, local type inference, LLVM backend.☆163Updated 6 years ago
- Perplex, Lemon, and Re2c: A cross-platform lexer/parser replacement for flex and bison☆30Updated 9 years ago
- quick c☆35Updated 3 years ago
- Qt IDE☆45Updated last week
- Parser generator tool with full separation between grammar and target code☆25Updated 8 years ago
- A Scannerless GLR parser/parser generater.☆109Updated last week
- persistent monitor (for static source code analysis, GCC based)☆59Updated last year
- Python bindings for libgccjit.so☆48Updated 9 years ago
- David M. Gay's floating-point conversion library☆33Updated 14 years ago
- 🚀 Sum of the primes below x☆37Updated 2 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- The CWEB System of Structured Documentation☆29Updated 9 years ago
- Moderately-optimizing brainfuck interpreter☆42Updated 5 years ago
- Marpa parse engine C library -- STABLE☆98Updated last year
- C Unit Testing Framework☆25Updated 5 years ago
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 10 years ago
- Continuation Passing C☆112Updated 5 years ago
- Universal Number Library☆41Updated 7 years ago
- BSD Licensed Bignum Library☆233Updated last year
- A Pratt Parser implementation in Python☆31Updated 8 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- Boost.org concept_check module☆20Updated 2 weeks ago
- Binary floating-point to decimal string conversion algorithm.☆103Updated 7 years ago
- An arbitrary precision library written in C which supports fractional datum. Arbitraire is fully portable to all linux, mac and netbsd/fr…☆16Updated last year
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- Linear vs binary search benchmark☆40Updated 5 years ago
- Compile-time TRIE based string matcher (C++11)☆53Updated 6 years ago
- Literate Programming in C/C++☆31Updated last week