quasisphere / conv64Links
Exact 64-bit convolution algorithm
☆15Updated 9 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☆24Updated 8 years ago
- Analysis and generation of substitutions☆25Updated 3 months ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- ☆114Updated 6 years ago
- task description, testdata, solutions etc...☆20Updated 9 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Updated 13 years ago
- Frobenius Additive Fourier Transform☆13Updated last year
- ☆24Updated 10 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Training for programming contests☆34Updated 6 years ago
- ☆17Updated 9 years ago
- A library designed to improve your competitive programming performance.☆29Updated 5 years ago
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆25Updated 2 years ago
- A research platform and active library for generalised SAT solving☆33Updated 7 months ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- This repository contains efficient implementation of the Miller-Rabin primality test for x86-64☆34Updated 5 years ago
- M4GB: Efficient Groebner Basis algorithm☆71Updated 7 years ago
- ☆50Updated 5 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 7 months ago
- Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code☆48Updated 9 years ago
- A SAT solver implementation in VHDL, team tussle☆21Updated 9 years ago
- Library code for programming contests.☆20Updated 10 years ago
- Python code and tests for the post 'Programming with Finite Fields'☆48Updated 5 years ago
- A Header-Only CDCL SAT Solver for Programming Contest☆73Updated last week
- Automatic inference of a formal specification of the x86_64 instruction set☆72Updated 9 years ago
- A C++ library for solving problems on Project Euler☆42Updated 3 weeks ago
- Fork of magma to include more BLAS☆28Updated 9 years ago
- A python script to crawl problems in Codeforces☆19Updated 7 years ago
- プログラミングコンテスト用のライブラリ☆105Updated last year