A grounder and solver for logic programs.
conda install -c conda-forge clingo
conda install -c conda-forge/label/cf202003 clingo
Clingo is an answer set programming (ASP) system that takes a logic program as input and calculates its answer sets.