OOASP-Smart Expansion

OOASP Interactive configuration tool.
Provides a GUI using clinguin and a command line interface implemented through clingo API app.

Introduces Smart Expansion in order to improve solving performance.

No results found