SAT-Solver-based Gate Schedule Configuration - Showcase

[adamgeorge309]

Discuss the "SAT-Solver-based Gate Schedule Configuration" showcase here. Ideas and recommendations are welcome.

[tuantitu22]

Hello, is there any guidance about how to achieve the prerequisition “Z3 Gate Scheduling Configurator INET feature to be enabled, and the libz3-dev or z3-devel packages to be installed” ? Thank you very much!

[avarga]

About z3:
On Ubuntu, or any Debian-derivative: sudo apt install libz3-dev
On Windows, it's already part of the OMNeT++ bundle.

To enable the INET project feature:
Select the "inet" project, then choose Project -> Project Features from menu, then check the "Z3GateSchedulingConfigurator" item in the list and click Apply.

[tuantitu22]

It works now. Thank you very much!

[jafficy]

Hello, I have the following problem when running the SatShowcase.anf file, as follows, do I need to install the dependency of optimparallel, looking forward to your reply，Thank you very much!