Beast code in Giters

vsklad's repositories

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.

Language:C++MIT21 3 6

CGraph is a tool for translating CNF formulas in DIMACS format into variable incidence graphs in GraphML format.

Language:C++MIT4 20

R package for drawing Hasse diagrams - visualization of transitive reduction of a finite partially ordered set.

Language:R1 10

020