==== Install Lydia ====
Please follow the README.md in LTLf2DFA/ to install LydiaSyft (the lastest version of Lydia). See https://github.com/whitemech/LydiaSyft for more details.
==== Run experiments ====
Please copy the executable file LydiaSyft to the root folder and run case_study_co_assembly_varying_object_DFA.py