🧩 An encoding for solving configuration problems with ASP - View it on GitHub