Releases: potassco/configuration-encoding
Releases 路 potassco/configuration-encoding
Version 1.0.0
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.