potassco/clingo

clingo - A grounder and solver for logic programs.