vsklad / cgenView external linksLinks
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:
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 3 years ago
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- Dimacs CNF utilities☆21Feb 12, 2025Updated last year
- CDCL SAT-solver for GPUs☆12May 5, 2017Updated 8 years ago
- Common code library☆14Feb 3, 2018Updated 8 years ago
- SHA256-SAT-BITCOIN☆24Apr 6, 2016Updated 9 years ago
- An implementation of a SAT solver using the CUDA library☆15Dec 23, 2017Updated 8 years ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 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☆89Jan 20, 2022Updated 4 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
- 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
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- An easy-to-use, general and open-source tool to solve the guess-and-determine problem☆29Jan 3, 2026Updated last month
- An automatic theorem prover for first order logic with equality☆32Jul 14, 2020Updated 5 years ago
- purple: compiling a reflective language☆33Oct 14, 2024Updated last year
- generative programming & verification☆34Jun 19, 2025Updated 7 months ago
- Make OCaml native debugging awesome☆32Dec 30, 2019Updated 6 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
- Tool to automatically search for linear characteristics☆39Jan 27, 2016Updated 10 years ago
- VHDL implementation of an Atari 2600☆12Sep 26, 2017Updated 8 years ago
- C++ API for Buttplug IO☆12Aug 8, 2025Updated 6 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- JavaScript compiler for Scratch projects.☆11Sep 24, 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
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 2 years ago
- FELICS Framework☆11Dec 5, 2019Updated 6 years ago
- The BYTE hands free interface☆10Oct 11, 2021Updated 4 years ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- Write Perl subroutines in other programming languages☆19Jul 10, 2025Updated 7 months 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
- Native desktop client for slack.com☆10May 23, 2018Updated 7 years ago
- ☆10Dec 26, 2018Updated 7 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆103Sep 8, 2023Updated 2 years ago
- Manage multiple profiles for a single linux user☆12Nov 13, 2024Updated last year
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago