A new release of Bmin. A bug in the 3D cube was fixed.

The JavaScript program VoGA (Visualization of Graph Algorithms) for visualization of BFS and DFS algorithms was completely rewritten using jQuery and SVG. In addition, new features were added.

This site was translated into English. With the exception of the HOWTOs portion, all sections of this website have been translated into English.

The first stable version of Bmin was released. The main difference from version 0.6.0 is that in addition to other improvements there is now a Windows installer included. Moreover, some of the bugs in the previous version have been fixed.

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

Finally the new full-use version of Bmin is released. The biggest changes meet the Karnaugh map. The other features are visualization of Quine–McCluskey algorithm, a wizard for creating new logic function, including the option of setting CNF mode as well as many other changes. However, the 3D cube was temporarily removed due to a complete rewriting.

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 SAT is a new program located in the section Programs. It is a solution of Boolean satisfiability problem. The evolutionary programming is used.

After a long time I release a new version of Bmin. The main innovation is a Boolean n-cube based on OpenGL. It also contains many other minor changes.

A new version of SEPE is released. This is only a fix for the bug which caused faulty communication between user and kernel parts.

A new version of SEPE. There is a new way to configure and install SEPE. There is also support for new kernels (tested on version 2.6.26).

There was added new project SEPE (Secure Environment for Program Execution) to the section projects. It is a program for secure executing programs in root jail with the possibility of setting limits on specific resources.

This site was completely rebuilt. There are both internal and external changes on this page.