The authors of A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There have not publicly listed the code yet.

Request code directly from the authors:

Get an expert to implement this paper:

(OR if you have code to share with the community, please add it here 😊🙏 )