blynn / dlxLinks
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
Sorting:
- Fast interpreter with macros, local type inference, LLVM backend.☆163Updated 6 years ago
- BSD Licensed Bignum Library☆232Updated last year
- Continuation Passing C☆113Updated 6 years ago
- arbitrary precision arithmetic library☆43Updated 6 years ago
- A Tree Parser Generator☆99Updated 10 months ago
- Marpa parse engine C library -- STABLE☆99Updated 2 years ago
- Quick C-- compiler (no longer maintained)☆159Updated 11 years ago
- Parser for language from Elements of Programming☆37Updated 11 years ago
- Parse any language you can describe in BNF☆160Updated last year
- Papers for the C++ Standards Committee, WG21☆56Updated 3 months ago
- quick c☆35Updated 3 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- A C library for creating and accessing dynamic arrays with near O(log-base-256) scalability into the peta-element range☆32Updated 14 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Prana is a library providing a generic AST data structure called utree☆25Updated 14 years ago
- C Unit Testing Framework☆25Updated 6 years ago
- Interactive Console for the C Programming Language☆72Updated 10 years ago
- Standalone ASDL parser for upstream CPython 3.x☆62Updated 6 years ago
- persistent monitor (for static source code analysis, GCC based)☆59Updated last year
- David M. Gay's floating-point conversion library☆34Updated 15 years ago
- An arbitrary precision library written in C which supports fractional datum. Arbitraire is fully portable to all linux, mac and netbsd/fr…☆17Updated 2 years ago
- Clone of wc in x64 assembly☆94Updated 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
- Grammar Zoo☆92Updated 6 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆50Updated 5 months ago
- Library for exact real number computations☆40Updated 10 years ago
- ♥ Janusz Brzozowski☆163Updated last year
- Libraries to write tests in C, C++ and shell☆136Updated 4 months ago
- An API to provide an efficient distributed queue on a cluster. Libcircle is currently used in production to quickly traverse and perform …☆99Updated 4 years ago
- Perplex, Lemon, and Re2c: A cross-platform lexer/parser replacement for flex and bison☆30Updated 9 years ago