Please note that since October 1, 2023, I no longer work at PUT. This page stays for reference to my research and software.
marcin.szelag@cs.put.poznan.pl / m.szelag@gmail.com