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.