Alternatives and similar repositories for sha1-sat

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

• vsklad / cgen

  View on GitHub
  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…
  ☆25Jun 3, 2023Updated 2 years ago
• vegard / cnf-utils

  View on GitHub
  Dimacs CNF utilities
  ☆20Jan 17, 2011Updated 15 years ago
• petersn / autosat

  View on GitHub
  Library for creation of SAT instances.
  ☆23Sep 7, 2022Updated 3 years ago
• cjdrake / boolexpr

  View on GitHub
  Boolean Expressions
  ☆21Nov 5, 2018Updated 7 years ago
• vesselinux / yaarx

  View on GitHub
  Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms
  ☆32Jan 17, 2022Updated 4 years ago
• petablox / difflog

  View on GitHub
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Sep 26, 2019Updated 6 years ago
• g1mv / fsbench-density

  View on GitHub
  a copy of m^2 's fsbench (https://chiselapp.com/user/Justin_be_my_guide/repository/fsbench/) with the latest density updates
  ☆13Dec 30, 2019Updated 6 years ago
• msoos / grainofsalt

  View on GitHub
  Grain of Salt equation generator
  ☆16May 6, 2022Updated 3 years ago
• emreyolcu / rewriting-collatz

  View on GitHub
  An automated approach to the Collatz conjecture
  ☆12Oct 7, 2023Updated 2 years ago
• PermutaTriangle / comb_spec_searcher

  View on GitHub
  a Python library for combinatorial exploration
  ☆12Jan 29, 2026Updated 2 weeks ago
• capiman / sha256-sat-bitcoin

  View on GitHub
  SHA256-SAT-BITCOIN
  ☆24Apr 6, 2016Updated 9 years ago
• KaKrzysiek / bigint

  View on GitHub
  Open source library to handle integers of any size in C
  ☆14Apr 11, 2023Updated 2 years ago
• maxtuno / PEQNP

  View on GitHub
  PEQNP Mathematical Solver
  ☆13Sep 25, 2021Updated 4 years ago
• stef / px1000cr

  View on GitHub
  Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr
  ☆17Mar 23, 2022Updated 3 years ago
• qfiard / cuda-sat-solver

  View on GitHub
  An implementation of a SAT solver using the CUDA library
  ☆15Dec 23, 2017Updated 8 years ago
• saeednj / SAT-encoding

  View on GitHub
  Encoding different problems into Boolean satisfiability
  ☆12Sep 29, 2022Updated 3 years ago
• conjure-cp / conjure

  View on GitHub
  Conjure: The Automated Constraint Modelling Tool
  ☆110Updated this week
• vegard / clsat

  View on GitHub
  OpenCL SAT solver
  ☆16Jul 15, 2011Updated 14 years ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms

  View on GitHub
  ☆16Jun 24, 2024Updated last year
• desi-ivanov / agda-regexp-automata

  View on GitHub
  Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.
  ☆18Jul 30, 2020Updated 5 years ago
• conp-solutions / mergesat

  View on GitHub
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Nov 20, 2023Updated 2 years ago
• marijnheule / CnC

  View on GitHub
  Cube-and-Conquer SAT solver
  ☆44Jul 14, 2025Updated 7 months ago
• iaikkrypto / lineartrails

  View on GitHub
  Tool to automatically search for linear characteristics
  ☆39Jan 27, 2016Updated 10 years ago
• liffiton / minicard

  View on GitHub
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Jun 22, 2025Updated 7 months ago
• ptarau / pypro

  View on GitHub
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Mar 1, 2023Updated 2 years ago
• jheusser / satcoin

  View on GitHub
  SAT-based Bitcoin Mining
  ☆89Jan 20, 2022Updated 4 years ago
• chriso / roaring-bitmap

  View on GitHub
  Roaring bitmaps in C
  ☆17Mar 8, 2016Updated 9 years ago
• Anon52MI4 / oeis-alien

  View on GitHub
  ☆22Jan 19, 2023Updated 3 years ago
• webyrd / relational-parsing-with-derivatives

  View on GitHub
  Relational version of parsing with derivatives code
  ☆43Feb 15, 2013Updated 12 years ago
• LaurenDM / AttackAESCTR

  View on GitHub
  ☆20Dec 13, 2019Updated 6 years ago
• niklasso / minisatp

  View on GitHub
  The Pseudo-Boolean Solver MiniSat+
  ☆29Oct 2, 2012Updated 13 years ago
• marijnheule / microsat

  View on GitHub
  microsat
  ☆140Jun 18, 2022Updated 3 years ago
• arminbiere / kissat

  View on GitHub
  ☆602Oct 16, 2025Updated 3 months ago
• kstenerud / smalltime

  View on GitHub
  A simple and convenient binary date & time format in 64 bits.
  ☆26Sep 27, 2019Updated 6 years ago
• annenkov / two-level

  View on GitHub
  Two-Level Type Theory
  ☆28Dec 13, 2019Updated 6 years ago
• dtompkins / ubcsat

  View on GitHub
  The Stochastic Local Search SAT Solver from UBC
  ☆32Apr 10, 2022Updated 3 years ago
• arminbiere / cadical

  View on GitHub
  CaDiCaL SAT Solver
  ☆519Updated this week
• samvartaka / crypto_backdoors

  View on GitHub
  Various cryptographic backdoors and tools to detect them
  ☆21Sep 5, 2015Updated 10 years ago
• laser-ufpb / CVRPController

  View on GitHub
  CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.
  ☆27Jan 13, 2022Updated 4 years ago