Potassco
Tools for Answer Set Programming developed at the University of Potsdam.