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.