dimachine / NonEquivMACs Star 3 Code Issues Pull requests Inequivalent maximal antichains dedekind-numbers maximal-antichains non-ismorphic-maximal-antichains boolean-lattice Updated Nov 27, 2022 Jupyter Notebook