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
- Git mirror of http://hg.sagemath.org/sage-main/☆38Updated 13 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated last month
- A dynamic programming toolkit.☆39Updated 11 years ago
- Solve discrete logarithm problems by the number field sieve method.☆19Updated 8 years ago
- Tools for creating binary tarballs☆16Updated 4 years ago
- A research platform and active library for generalised SAT solving☆33Updated 4 months ago
- Automatic differentiation for NumPy☆42Updated 12 years ago
- Jupyter Kernel for Mathics☆20Updated 8 years ago
- Raw data for numerical experiments exploring integer factorization on NISQ devices☆10Updated 7 years ago
- State-of-the-art in reversible logic synthesis☆23Updated 9 years ago
- A simple implementation of the Quadratic Sieve for integer factoring in C☆13Updated 13 years ago
- General number field sieve for python☆18Updated 10 years ago
- Deep SpatioTemporal Inference Network (DeSTIN) for vision processing☆34Updated 9 years ago
- Factor numbers using a quantum computer☆35Updated last year
- A particle swarm optimization library created by Numenta for hyperparameter optimization.☆18Updated 10 years ago
- Datatype detection in order to choose appropriate compression algorithm☆29Updated 11 years ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 2 weeks ago
- A "git trac" subcommand for git☆13Updated 3 years ago
- A PE Header-Based Antivirus Tool☆11Updated 10 years ago
- SAT-based Bitcoin Mining☆88Updated 3 years ago
- Python code and tests for the post 'Programming with Finite Fields'☆48Updated 5 years ago
- Grecka is a python script to convert Greek to Greeklish based on ELOT 743☆12Updated 7 years ago
- The Facile API is capable of reading (decompiling) .Net assemblies. Covering the metadata tables, the embedded types and methods, includi…☆10Updated 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
- Generator of "nothing-up-my-sleeve" constants☆24Updated 10 years ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Updated 12 years ago
- 🍰 Compiling your code to an Ising Hamiltonian so you don't have to!☆53Updated 5 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year