Mtminer¶

Synopsis¶

mtminer computes levelwisely the minimal transversals of a hypergraph.

Example¶

$ cat > /tmp/test
1 2 
2 3 
^D
$ mtminer /tmp/test
2 
# depth 2
1 3