A new version of Bmin, which is based on my thesis. Compared to the previous version the 3D Boolean n-cube is back. The latest main features are support for the PLA format and simulation of Espresso algorithm.