Asset Type Docker container Clingo Answer Set Solver State-of-the-art solver for logic programming under the answer set semantics. read more of Clingo Answer Set Solver