The first release of our configuration encoding for solving configuration problems with clingo.
In addition, it contains files for visualization using clingraph.
A corresponding publication is expected in the ConfWS 2023.
The first release of our configuration encoding for solving configuration problems with clingo.
In addition, it contains files for visualization using clingraph.
A corresponding publication is expected in the ConfWS 2023.