Pinned Repositories
hasseDiagram
R package for drawing Hasse diagrams - visualization of transitive reduction of a finite partially ordered set.
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.
cgraph
CGraph is a tool for translating CNF formulas in DIMACS format into variable incidence graphs in GraphML format.
hasseDiagram
R package for drawing Hasse diagrams - visualization of transitive reduction of a finite partially ordered set.
vsklad.github.io
vsklad's Repositories
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.
vsklad/cgraph
CGraph is a tool for translating CNF formulas in DIMACS format into variable incidence graphs in GraphML format.
vsklad/hasseDiagram
R package for drawing Hasse diagrams - visualization of transitive reduction of a finite partially ordered set.
vsklad/vsklad.github.io