cz.cvut.fel.ida.setup