Alternatives and similar repositories for satfactor

Users that are interested in satfactor are comparing it to the libraries listed below

• capiman / sha256-sat-bitcoin
  SHA256-SAT-BITCOIN
  ☆24Updated 9 years ago
• sagemath / sagelib
  Git mirror of http://hg.sagemath.org/sage-main/
  ☆38Updated 13 years ago
• tigerlyb / PE-Header-Parser-in-Python
  A PE Header-Based Antivirus Tool
  ☆11Updated 10 years ago
• onechip / dlog-nfs
  Solve discrete logarithm problems by the number field sieve method.
  ☆19Updated 8 years ago
• zapatacomputing / VQFData
  Raw data for numerical experiments exploring integer factorization on NISQ devices
  ☆10Updated 7 years ago
• jaberg / pyautodiff
  Automatic differentiation for NumPy
  ☆42Updated 12 years ago
• opencog / destin
  Deep SpatioTemporal Inference Network (DeSTIN) for vision processing
  ☆34Updated 9 years ago
• dwave-examples / factoring
  Factor numbers using a quantum computer
  ☆35Updated 2 years ago
• veorq / numsgen
  Generator of "nothing-up-my-sleeve" constants
  ☆24Updated 10 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 4 months ago
• GoodAI / ArnoldSimulator
  A scalable actor-model framework for developing AI systems with dynamic topologies.
  ☆41Updated 8 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆25Updated 3 weeks ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated last month
• tomisilander / bene
  An exact Bayesian network structure learning software based on dynamic programming.
  ☆14Updated last year
• sagemath / publications
  Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage
  ☆25Updated last month
• inmcm / Simon_Speck_Ciphers
  Implementations of the Simon and Speck Block Ciphers
  ☆101Updated 7 years ago
• rndmcnlly / ansunit
  Declarative unit testing for Answer Set Programming projects
  ☆12Updated 7 years ago
• j2kun / finite-fields
  Python code and tests for the post 'Programming with Finite Fields'
  ☆48Updated 5 years ago
• vsklad / cgen
  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
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• Tox-Archive / Tox-STS
  The Single Tox Standard: To keep Tox's clients & services simple, unison, and to further promote the brand.
  ☆33Updated 10 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 3 months ago
• msoeken / reversible-sota
  State-of-the-art in reversible logic synthesis
  ☆23Updated 9 years ago
• zillya / avenginesdk
  Antivirus engine that allows you to create your own anti-virus
  ☆10Updated 13 years ago
• dave-andersen / cudapts
  An Nvidia-based miner for the Protoshares (PTS) cryptocurrency
  ☆38Updated 11 years ago
• clearscene / opendias
  Document Imaging Archive System. Home document imaging, with OCR. Scan documents (with SANE) or import ODF documents, assign tags. Use op…
  ☆25Updated 10 years ago
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated 2 years ago
• maxhutch / magma
  Fork of magma to include more BLAS
  ☆28Updated 8 years ago
• shinmorino / sqaod
  Solvers/annealers for simulated quantum annealing on CPU and CUDA(NVIDIA GPU).
  ☆88Updated 2 years ago
• a4lg / libffuzzy
  Fast ssdeep comparison library
  ☆13Updated 11 years ago