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
- Cython wrappers for Google's sparsehash library, and the murmur hash functions☆17Updated 10 years ago
- Tools for creating binary tarballs☆16Updated 3 years ago
- A research platform and active library for generalised SAT solving☆32Updated last month
- Python code and tests for the post 'Programming with Finite Fields'☆48Updated 5 years ago
- Generator of "nothing-up-my-sleeve" constants☆24Updated 10 years ago
- Analysis and generation of substitutions☆23Updated 3 years ago
- Encyclopedia of Combinatorial Structures☆14Updated 7 years ago
- Solve discrete logarithm problems by the number field sieve method.☆18Updated 7 years ago
- General number field sieve for python☆18Updated 9 years ago
- Declarative unit testing for Answer Set Programming projects☆12Updated 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 7 months 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
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- The secure, transparent, auditable, reliable electronic voting system☆14Updated 8 years ago
- A simple implementation of the Quadratic Sieve for integer factoring in C☆13Updated 13 years ago
- A graphical multiplatform tool to manipulate and forward TCP connections.☆12Updated 13 years ago
- Scientific library for high-precision computations and research☆49Updated 7 years ago
- A PE Header-Based Antivirus Tool☆11Updated 10 years ago
- Antivirus engine that allows you to create your own anti-virus☆10Updated 12 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- The Stochastic Local Search SAT Solver from UBC☆30Updated 3 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- A "git trac" subcommand for git☆13Updated 3 years ago
- Implementation of algorithms from the paper Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data☆14Updated 11 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- MicroRestD is a small C++11 cross-platform REST server built on top of libmicrohttpd http://www.gnu.org/software/libmicrohttpd/.☆13Updated last year
- A common set of compute primitives for PyCUDA and PyOpenCL☆59Updated this week
- Jupyter Kernel for Mathics☆20Updated 8 years ago