sjneph / satfactorLinks
Convert an integer factorization problem into a boolean SATISFIABILITY problem.
☆10Updated 7 years ago
Alternatives and similar repositories for satfactor
Users that are interested in satfactor are comparing it to the libraries listed below
Sorting:
- Git mirror of http://hg.sagemath.org/sage-main/☆38Updated 13 years ago
- SHA256-SAT-BITCOIN☆24Updated 9 years ago
- Solve discrete logarithm problems by the number field sieve method.☆19Updated 8 years ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated 2 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 6 months ago
- Factor numbers using a quantum computer☆35Updated 2 years ago
- Miscellaneous resources for Quantum Collective Knowledge☆32Updated last year
- A simple implementation of the Quadratic Sieve for integer factoring in C☆13Updated 14 years ago
- Raw data for numerical experiments exploring integer factorization on NISQ devices☆10Updated 7 years ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 4 months ago
- C++ simulator of quantum registers and quantum algorithms☆25Updated 3 years ago
- SAT-based Bitcoin Mining☆89Updated 4 years ago
- Grain of Salt equation generator☆16Updated 3 years ago
- ☆18Updated 9 years ago
- Python tools for reading, writing, compiling, simulating quantum computer circuits. Includes numpy and tensorflow backends. “Quantum Spac…☆121Updated 2 years ago
- A Python implementation of the SPHINCS-256 scheme☆15Updated 9 years ago
- Tools for creating binary tarballs☆16Updated 4 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 4 months ago
- Grecka is a python script to convert Greek to Greeklish based on ELOT 743☆12Updated 7 years ago
- Secure Coding Validation Suite☆16Updated 6 years ago
- Jupyter Kernel for Mathics☆20Updated 9 years ago
- Implementation of Shor's algorithm in Python 3.X using state vectors☆72Updated 5 years ago
- A "git trac" subcommand for git☆13Updated 3 years ago
- ☆16Updated 9 years ago
- knot theory and computational algebra software☆38Updated 11 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 9 months ago
- Python bindings to the Crypto++ library☆50Updated 2 years ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Updated 13 years ago
- Generator of "nothing-up-my-sleeve" constants☆24Updated 10 years ago
- Fast implementations of the SIMON and SPECK lightweight block ciphers for the SUPERCOP benchmark toolkit. #nsacyber☆50Updated 7 years ago