Kirill Kuroptev

icon indicating a website link https://www.eins.tu-darmstadt.de/eins/team/kirill-kuroptev

icon company TU Darmstadt icon location Frankfurt am Main/Germany icon location PhD Student @ Technical University Darmstadt. EINS-Lab

Results 2 issues of Kirill Kuroptev

Missing parameters in function call check_termination in pccg_solver.py

Dear pao-Team, thank you for the development of this amazing package! :) I would like to report a minor bug in the function `check_termination` in `pccg_solver.py`. If `execute_PCCG_solver` reaches its...

MibS execution without retrieving solution file

Dear MibS-Team, thanks for the development and maintaining of MibS! By using MibS I face the problem, that no solution files can be retrieved, and after displaying > Branching strategy...