sjneph / satfactorLinks
Convert an integer factorization problem into a boolean SATISFIABILITY problem.
☆10Updated 6 years ago
Alternatives and similar repositories for satfactor
Users that are interested in satfactor are comparing it to the libraries listed below
Sorting:
- SHA256-SAT-BITCOIN☆24Updated 9 years ago
- Solve discrete logarithm problems by the number field sieve method.☆18Updated 8 years ago
- SAT-based Bitcoin Mining☆88Updated 3 years ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- Git mirror of http://hg.sagemath.org/sage-main/☆38Updated 13 years ago
- A "git trac" subcommand for git☆13Updated 3 years ago
- Grecka is a python script to convert Greek to Greeklish based on ELOT 743☆12Updated 7 years ago
- The Worm Browser -- a 3D browser of the cellular anatomy of the c. elegans☆49Updated 8 years ago
- A simple implementation of the Quadratic Sieve for integer factoring in C☆13Updated 13 years ago
- Tools for creating binary tarballs☆16Updated 4 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
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Updated 12 years ago
- SHA-3 finalist (reference code)☆40Updated 11 years ago
- A research platform and active library for generalised SAT solving☆32Updated 2 months ago
- Python code and tests for the post 'Programming with Finite Fields'☆48Updated 5 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆62Updated last month
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 3 weeks ago
- Automatic differentiation for NumPy☆42Updated 12 years ago
- Frobenius Additive Fourier Transform☆13Updated 7 months ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated last month
- GPL Number Field Sieve implementation☆36Updated 14 years ago
- Super efficient TCP connection between remote processes☆12Updated 9 years ago
- ☆16Updated 9 years ago
- Fast implementations of the SIMON and SPECK lightweight block ciphers for the SUPERCOP benchmark toolkit. #nsacyber☆46Updated 7 years ago
- Evolutionary Algorithms Library☆63Updated 5 years ago
- Declarative unit testing for Answer Set Programming projects☆12Updated 7 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- python library to manage and reduce lattices☆22Updated 8 years ago
- An Nvidia-based miner for the Protoshares (PTS) cryptocurrency☆38Updated 11 years ago
- C language complearn library☆45Updated 10 years ago