Alternatives and similar repositories for sha256-sat-bitcoin:

Users that are interested in sha256-sat-bitcoin are comparing it to the libraries listed below

• sjneph / satfactor
  Convert an integer factorization problem into a boolean SATISFIABILITY problem.
  ☆10Updated 6 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 last year
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 3 years ago
• meelgroup / arjun
  CNF minimizer and minimal independent set calculator
  ☆18Updated 6 months ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆18Updated last month
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 3 months ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated 4 months ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆84Updated 3 years ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆57Updated 4 months ago
• czielinski / secmultipartycomp
  Introduction to Secure Multi-Party Computations
  ☆16Updated 6 years ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆54Updated 6 years ago
• hgarrereyn / SBVA
  Structured BVA
  ☆33Updated 9 months ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆23Updated 2 years ago
• msoos / cnf-utils
  Dimacs CNF utilities
  ☆21Updated last year
• onechip / dlog-nfs
  Solve discrete logarithm problems by the number field sieve method.
  ☆17Updated 7 years ago
• msoos / grainofsalt
  Grain of Salt equation generator
  ☆16Updated 2 years ago
• ths-rwth / smtrat
  ☆52Updated last month
• slush0 / epycyzm
  Experimental Python CPU (yet) Zcash miner
  ☆20Updated 6 years ago
• j2kun / finite-fields
  Python code and tests for the post 'Programming with Finite Fields'
  ☆48Updated 4 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆70Updated 7 months ago
• openworm / wormbrowser
  The Worm Browser -- a 3D browser of the cellular anatomy of the c. elegans
  ☆49Updated 8 years ago
• passagemath / LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆28Updated 5 years ago
• sethtroisi / cado-nfs
  CADO-NFS is a complete implementation in C/C++ of the Number Field Sieve (NFS) algorithm for factoring integers. For official releases, p…
  ☆25Updated 4 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated last month
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• radii / ggnfs
  GPL Number Field Sieve implementation
  ☆35Updated 13 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated last year
• cpeikert / CollimationSieve
  Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.
  ☆14Updated 5 years ago
• shadow / shadow-plugin-bitcoin
  A Shadow plug-in that runs the Bitcoin Satoshi reference software
  ☆25Updated 4 years ago