sjneph / satfactor
Convert an integer factorization problem into a boolean SATISFIABILITY problem.
☆10Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for satfactor
- SHA256-SAT-BITCOIN☆24Updated 8 years ago
- Git mirror of http://hg.sagemath.org/sage-main/☆38Updated 12 years ago
- Learn to build neural networks from scratch, simply. No autograd, no deep learning libraries - just numpy.☆10Updated 2 years ago
- Jupyter Kernel for Mathics☆20Updated 8 years ago
- Automatic differentiation for NumPy☆42Updated 11 years ago
- Tools for creating binary tarballs☆14Updated 3 years ago
- Factor numbers using a quantum computer☆35Updated last year
- A dynamic programming toolkit.☆39Updated 10 years ago
- Exact optimization for cost function networks and additive graphical models☆51Updated 2 weeks ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆24Updated last month
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆31Updated 6 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- An evolutionary multi-start algorithm for the Steiner Tree Problem in graphs with a fast local search.☆13Updated 2 years ago
- Code for the paper Recurrent Machines for Likelihood-Free Inference☆16Updated 5 years ago
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆72Updated 8 months ago
- Python implementation of the Self Initialising Quadratic Sieve☆25Updated 2 years ago
- A quantum circuit optimizer based on sum-over-paths representations☆24Updated 5 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 5 years ago
- A particle swarm optimization library created by Numenta for hyperparameter optimization.☆18Updated 9 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated 2 months ago
- 🍰 Compiling your code to an Ising Hamiltonian so you don't have to!☆51Updated 4 years ago
- Backend map and tile generation and webserver for the Paperscape map☆46Updated 6 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆63Updated 6 months ago
- Solve discrete logarithm problems by the number field sieve method.☆17Updated 7 years ago
- A common set of compute primitives for PyCUDA and PyOpenCL☆58Updated 4 months ago
- Python implementation of Markov Jump Hamiltonian Monte Carlo☆24Updated 7 years ago
- See https://github.com/sagemathinc/smc instead!☆22Updated 5 years ago
- Cairo lua bindings with extensions for torch☆15Updated 8 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆13Updated 4 months ago
- ☆27Updated this week