Computes all minimal (pre-)conceptual boolean factorizations of a given formal context. Currently supports reading contexts in Burmeister and conexp format, and exports to Burmeister format.
cabal install --only-dependencies
cabal configure
cabal build
It might be a good idea to use hsenv/cabal sandboxes as a build environment.
milkman -o output-prefix [--verbose|-v] [--pre-conceptual] path-to-context.cxt