Potassco: The Potsdam Answer Set Solving Collection

Abstract

This paper gives an overview of the open source project Potassco, the Potsdam Answer Set Solving Collection, bundling tools for Answer Set Programming developed at the University of Potsdam.