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 output format.
☆25Jun 3, 2023Updated 2 years ago
Alternatives and similar repositories for cgen
Users that are interested in cgen are comparing it to the libraries listed below
Sorting:
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- Dimacs CNF utilities☆21Feb 12, 2025Updated last year
- SHA256-SAT-BITCOIN☆24Apr 6, 2016Updated 9 years ago
- Common code library☆14Feb 3, 2018Updated 8 years ago
- An implementation of a SAT solver using the CUDA library☆15Dec 23, 2017Updated 8 years ago
- espresso logic minimizer (https://embedded.eecs.berkeley.edu/pubs/downloads/espresso/index.htm)☆17Oct 29, 2022Updated 3 years ago
- SAT-based Bitcoin Mining☆90Jan 20, 2022Updated 4 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆77Apr 6, 2025Updated 11 months ago
- Library for creation of SAT instances.☆23Sep 7, 2022Updated 3 years ago
- Python bindings for SPHINCS+☆23Sep 27, 2022Updated 3 years ago
- The Standard Interface for Incremental Satisfiability Solving☆53Jun 28, 2022Updated 3 years ago
- Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms☆32Jan 17, 2022Updated 4 years ago
- A Free World Class High Performance SAT Solver☆21Jul 12, 2021Updated 4 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆27Jan 13, 2022Updated 4 years ago
- The probSAT SAT Solver☆26Oct 21, 2022Updated 3 years ago
- GPU code for the first SHA-1 collision attack and two freestart attacks☆36May 29, 2022Updated 3 years ago
- QUBO matrix generator for major combinatorial optimization problems written in Python☆25Apr 20, 2021Updated 4 years ago
- An easy-to-use, general and open-source tool to solve the guess-and-determine problem☆30Feb 25, 2026Updated last week
- Constraint Solver ACE☆36Updated this week
- purple: compiling a reflective language☆33Feb 27, 2026Updated last week
- An advanced SAT solver☆913Feb 27, 2026Updated last week
- Semi-private RTL development upstream of OpenCPI - this is *not* the OpenCPI repo!☆25Oct 19, 2016Updated 9 years ago
- generative programming & verification☆34Jun 19, 2025Updated 8 months ago
- Este projeto é fruto de um estudo pessoal sobre o algoritmo Secp256k1. O objetivo dele é conseguir obter, usando apenas os valores da cha…☆12Dec 7, 2022Updated 3 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆39Mar 26, 2023Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Nov 20, 2023Updated 2 years ago
- ☆10Dec 26, 2018Updated 7 years ago
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- VHDL implementation of an Atari 2600☆12Sep 26, 2017Updated 8 years ago
- A collection of algorithms to reverse using partial information various hashes used by Minecraft to seed its ChunkRandom PRNG.☆10Mar 7, 2024Updated last year
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- An application built to monitor CS:GO prices on the Steam market☆13Dec 29, 2021Updated 4 years ago
- C++ API for Buttplug IO☆12Aug 8, 2025Updated 6 months ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- FELICS Framework☆11Dec 5, 2019Updated 6 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago