dedekind-python

Implementation of the GEN¹ algorithm for Dedekind number generation.

To run without verbose mode:

python gen.py 3

To run with verbose mode:

python gen.py 3 -v

GEN Algorithm:

¹ Bakoev, Valentin. "One more way for counting monotone Boolean functions." Proc. of the XIII Intern. Workshop on Algebraic and Combinatorial Coding Theory (ACCT). 2012.

** Requires NumPy - Installation Instructions