starting hybrid relaxation
starting hybrid relaxation
learning atomata now supports HR
some work on HR
Merge branch 'master' of https://github.com/KommuSoft/ParallelHyFlex

machine swap