[Potassco-users] clingo (python interface): input intermediate format?

[Wolfgang F. <wol...@gm...>]

Hi all,

I was wondering whether it is possible to input already grounded
programs in intermediate format (smodels, but I guess that could
easily change to aspif) in the python interface of clingo.

The background is that we have a tool that creates a ground program,
which we then feed to clingo and do some iterative solving using
python. Now our tool can output the ground program either as ASP Core
2 code or in smodels format. The issue we have is that clingo
sometimes takes a long time to "ground" the already ground programs in
ASP Core 2 format. Just to give you an idea, one example on my laptop
it took about 24s for clingo to produce an answer set for the ASP Core
2 ground program, while clasp took less than 2s using the intermediate
format, so it is quite significant.

cheers
Wolfgang
-- 
Wolfgang Faber <URL:http://www.wfaber.com>