Add comments to external DLV solver class