This software is the result of the project Institute for Theoretical Computer Science No. 1M0545, the Czech Science Foundation grant No. GAP202/12/G061, and the MU projects No. MUNI/A/0758/2011 and No. MUNI/33/06/2013. This result is consistent with the expected objectives of the projects. The owner of the result is Masaryk University, a public university, ID: 00216224. Masaryk University allows other companies and individuals to use this software free of charge and without territorial restrictions under the terms of the GNU Lesser General Public License (LGPL) v2.1.
This permission is granted for the duration of property rights.
This software is not subject to special information treatment according to Act No. 412/2005 Coll., as amended. In case that a person who will use the software under this license offer violates the license terms, the permission to use the software terminates.