This is a release for my diploma work at my university. If you find this application and want to download it for studying you should know that this release is not finished yet and the result of minimization, unions, and schemes can be wrong. You can help me to find the potential mistakes and crashes. Let me know (dmytro.bilash@nure.ua) if the program contains an error I appreciate it.