Add cobra support, add professional logger and modify the single_vs_multi.py... (!14) · Merge requests · tum-cps / ModRob Configuration Synthesis

Add cobra support, add professional logger and modify the single_vs_multi.py script to run on cobra scenarios

Add cobra support, add professional logger and modify the single_vs_multi.py...