libpotassco is a utility library providing functions and datatypes for

• parsing, writing, and converting logic programs in aspif and smodels format,

• passing information between a grounder and a solver,

• and defining and parsing command-line options and for creating command-line applications.

Furthermore, it comes with the tool lpconvert that converts either between aspif and smodels format or to a human-readable text format.