This is the code of Matěj Račinský's master thesis, available here.
Source code produced/modified as part of this thesis is in following repositories:
Text of my master thesis
This is the code of Matěj Račinský's master thesis, available here.
Source code produced/modified as part of this thesis is in following repositories:
Text of my master thesis