eliyaoo32/depsynt

Tools for dependent variables in Linear Temporal Logic (LTL), including: Finding Dependent variables, Synthesis exploiting dependency.

depsynt's Issues

Merge Strategy only on model checking or on flag

The merge of strategies should be done only if the option is on (Model checking or specific mentioned)

Refactor Merge Strategy.

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.

1. Wrap inside a Blif/Aiger class the logic and conversion.
2. Instead of using CLI tools of aigtoaig, aigtoblif, ABC. We should import them directly to the code.

Validation of CLI tools

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

Clean CMake file

1. Import only dynamic libraries (so files) instead of static libraries (.a files)
2. Put spot, boost json and boost options inside the libs/ folder and import its header directly from this file
3. 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)
4. The make commands of synthesis and find_dependecies should build as prerequisites the libraries and link the dynamic libraries automatically.

Please change main brancn to `main` instead of `master`

We are in 2023. master is insulting.