Add DLV support - Githubissues

idaks / PW-explorer

Apache License 2.0

16 stars 1 forks source link

Add DLV support #12

Closed sahil1105 closed 5 years ago

sahil1105 commented 5 years ago

Including support to parse "wf" mode (well-founded semantics form).

sahil1105 commented 5 years ago

Added with v0.0.13