A new version of Bmin has been released. The main changes were primarily internal. The kernel of the application was completely rewritten. In addition, there are major changes in the application layout. The current version of Bmin 0.4.0 is available for Windows as well as Linux.
The first stable beta version of Bmin has been just released. It is a tool for minimization of Boolean Functions including a Karnaugh Map and a Boolean n-cube based on OpenGL.
This program is designed to 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. The project is also hosted on Google Code.