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.
☆27Jun 3, 2023Updated 3 years ago
Alternatives and similar repositories for cgen
Users that are interested in cgen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 4 years ago
- SAT instance generator for SHA-1☆52Feb 12, 2021Updated 5 years ago
- SAT-based Bitcoin Mining☆90Jan 20, 2022Updated 4 years ago
- SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions☆42Dec 8, 2022Updated 3 years ago
- An implementation of a SAT solver using the CUDA library☆15Dec 23, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Dimacs CNF utilities☆21Sep 29, 2026Updated last month
- SHA256-SAT-BITCOIN☆24Apr 6, 2016Updated 10 years ago
- Successor to PolyBoRi☆24Sep 1, 2026Updated 2 months ago
- espresso logic minimizer (https://embedded.eecs.berkeley.edu/pubs/downloads/espresso/index.htm)☆17Oct 29, 2022Updated 4 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆88Sep 19, 2026Updated last month
- Common code library☆15Feb 3, 2018Updated 8 years ago
- An easy-to-use, general and open-source tool to solve the guess-and-determine problem☆35Apr 13, 2026Updated 6 months ago
- Library for creation of SAT instances.☆23Sep 7, 2022Updated 4 years ago
- Tools used to make the SHA-1 collision detection library☆13Mar 16, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- DRAT/DPR proof checker☆10Feb 12, 2022Updated 4 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Feb 17, 2020Updated 6 years ago
- MiniSat reimplemented in Rust☆21Apr 18, 2018Updated 8 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 3 years ago
- 8x8x8 Circles or Spheres drawn in OpenGL in Qt, based off the grabber example. See the pendulum repo, too.☆12Mar 4, 2015Updated 11 years ago
- Grain of Salt equation generator☆19May 6, 2022Updated 4 years ago
- An automatic theorem prover for first order logic with equality☆37Oct 25, 2026Updated 2 weeks ago
- The BYTE hands free interface☆11Oct 11, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- S/PDIF Library☆11Apr 13, 2026Updated 6 months ago
- Development tools for Atari Jaguar 64☆10Jan 30, 2015Updated 11 years ago
- NeoGeo 2 Player Tetris using NeoBits NeoDev library☆12Jun 25, 2012Updated 14 years ago
- A framework for using an Android Wear watch as a remote controller.☆16Sep 29, 2019Updated 7 years ago
- A verilog implementation of different variants of the PSG/SN76489 sound generator☆11Oct 15, 2022Updated 4 years ago
- Pigeon Chess Engine☆11Jul 13, 2026Updated 3 months ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆13Sep 18, 2024Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆57Jun 28, 2022Updated 4 years ago
- High Speed Analog Front End FPGA Firmware for Novena PVT1☆13Aug 13, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Lua scripts to automate Robotron 2084 play on MAME.☆11Jun 1, 2025Updated last year
- GPU code for the first SHA-1 collision attack and two freestart attacks☆39May 29, 2022Updated 4 years ago
- An advanced SAT solver☆942Oct 22, 2026Updated 2 weeks ago
- Single Width FPGA Mezzanine Card, FMC Template with low-pin count connector, commercial grade mounting☆11Jul 12, 2017Updated 9 years ago
- Tool to automatically search for linear characteristics☆39Jan 27, 2016Updated 10 years ago
- ☆12Updated this week
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 4 years ago