clingo (conda): Clingo is an answer set programming (ASP) system that takes a logic program as input and calculates its answer sets.
Keywords: answer-set-programming|declarative-programming|logic-programming