search

idaks / PW-explorer

Apache License 2.0
16 stars 1 forks source link

Add ability to pass in a single string to run_clingo and run_dlv #22

Closed sahil1105 closed 5 years ago

sahil1105 commented 5 years ago

Especially important now that we have the ASPRules class (child of str). This would allow us to just pass this in directly. In the run_{clingo,dlv} functions, add a check to see if it's a str, if it is just do a .splitlines() and move on.

sahil1105 commented 5 years ago

Implemented with v0.0.20