The version is 1.0.1. Visualizer of Boolean minimization. Bmin can visualize the minimization of Boolean functions. The Quine-McCluskey algorithm is used for the minimization. The visualization is demonstrated on the Karnaugh map and the Boolean n-cube.