GitHub repository: vsklad/cgen
Primary language: C++
Description: 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.