Can't get IDLV to work with solvers

DeMaCS-UNICAL / I-DLV

The new intelligent grounder of the logic-based Artificial Intelligence system DLV

https://github.com/DeMaCS-UNICAL/I-DLV/wiki

22 stars 0 forks source link

Can't get IDLV to work with solvers #2

Closed bowesdorp closed 4 years ago

bowesdorp commented 5 years ago

Hi,

I'm currently trying to use the IDLV grounder to run with solvers like wasp and clasp. But when I follow the guide on the wiki it won't work. Apparently, the output generated by the grounder is incompatible with the solvers. I hope someone could help me and try to fix this issue.

Sincerely,