The synthesis CLI tool uses the cli commands: aigtoaig, ABC, aigtoblif for merge strategies
The synthesis CLI should verify that it can run this CLI tools
Import only dynamic libraries (so files) instead of static libraries (.a files)
Put spot, boost json and boost options inside the libs/ folder and import its header directly from this file
To have a single include_directories call that will include all the headers inside , for example: include_directories(./src ./libs/spot ./libs/aiger ./libs/abc)
The make commands of synthesis and find_dependecies should build as prerequisites the libraries and link the dynamic libraries automatically.
Currently, the merge strategy is mainly doing the String process without encapsulating the entities.
The merge strategies code can be refactored and become more readable.
Wrap inside a Blif/Aiger class the logic and conversion.
Instead of using CLI tools of aigtoaig, aigtoblif, ABC. We should import them directly to the code.