hypergraph-dualization

Here are 2 public repositories matching this topic...

symonyeal / Minimal-Metabolic-Interventions

Rust algorithms for metabolic minimal cut sets: MMCS and reverse-search hitting-set enumeration, exact elementary modes, and a census of redundant search work.

rust algorithms systems-biology computational-biology enumeration hypergraphs elementary-flux-modes hitting-set metabolic-networks minimal-cut-sets hypergraph-dualization

Updated Nov 1, 2026
Rust

symonyeal / Hypergraph-Dualization

Star

Hypergraph dualization and symmetry: Fredman-Khachiyan algorithms, minimal transversals, and MSc thesis research with Lean 4 proofs and computational experiments.

python rust algorithms thesis combinatorics symmetry group-theory formal-verification hypergraphs mathlib lean4 hypergraph-dualization transversal-hypergraph fredman-khachiyan boolean-duality

Updated Oct 31, 2026
Lean

Add this topic to your repo

To associate your repository with the hypergraph-dualization topic, visit your repo's landing page and select "manage topics."

Learn more