cnf topic

Convert a Context Free Grammar (CFG) to Chomsky Normal Form (CNF)

nikos912000

5G Telco Lab based on OpenShift

m4r1k

Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks

Nordix

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

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

meelgroup

A Free World Class High Performance SAT Solver

maxtuno