quasisphere / conv64
Exact 64-bit convolution algorithm
☆15Updated 8 years ago
Alternatives and similar repositories for conv64
Users that are interested in conv64 are comparing it to the libraries listed below
Sorting:
- A tale of ancient KTH history☆20Updated 7 years ago
- Analysis and generation of substitutions☆23Updated 3 years ago
- Library code for programming contests.☆20Updated 9 years ago
- Training for programming contests☆35Updated 5 years ago
- Collection of algorithm implementations for ICPC programming contests☆22Updated 7 years ago
- Frobenius Additive Fourier Transform☆13Updated 3 months ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated 2 weeks ago
- Team Code Reference for programming contests☆25Updated last year
- SAT instance generator for SHA-1☆49Updated 4 years ago
- ☆127Updated 8 years ago
- A research platform and active library for generalised SAT solving☆33Updated this week
- Solutions to problems from several OJ (leetcode, Codeforces, Project Euler, SPOJ, Timus, Topcoder, UVa).☆43Updated last year
- ☆16Updated 10 months ago
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last month
- my implementations of standard algorithms and data structures☆59Updated 8 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 2 weeks ago
- ☆117Updated last year
- ☆49Updated 5 years ago
- プログラミングコンテスト用のライブラリ☆105Updated last year
- A Header-Only CDCL SAT Solver for Programming Contest☆67Updated 5 years ago
- Dimacs CNF utilities☆20Updated 14 years ago
- C library to compute the Hamming weight of arrays☆45Updated 6 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- Python code and tests for the post 'Programming with Finite Fields'☆48Updated 4 years ago
- Successor to PolyBoRi☆19Updated 5 months ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- Cheat sheet for ACM-ICPC. In memory of those good old days.☆167Updated 7 years ago
- A library designed to improve your competitive programming performance.☆29Updated 4 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 9 years ago