prownsix / cgen Goto Github PK
View Code? Open in Web Editor NEWThis project forked from 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 output format.
Home Page: https://cgen.sophisticatedways.net
License: MIT License