glaserL / vizlo

Debugging module for clingo
MIT License
2 stars 0 forks source link

Make debuggo transparent for control #5

Closed glaserL closed 3 years ago

glaserL commented 4 years ago

Javier suggested to create debuggo simply extend the control object to improve ease of use.

Ideally, using clingo with or without debuggo should only add a call to the Control() object of clingo. During solving, a user should be able to call

ctl = Control()
ctl.draw() # outputs nothing
ctl.solve()
ctl.draw() # outputs the solving history
glaserL commented 4 years ago

If possible, users should be able to keep their code just as it is, only changing the import statement

from clingo import Control, Model

into

from clingo import Model
from debuggo import Control
glaserL commented 3 years ago

we instead do:

from vizlo import Control
ctl = Control(["0"])
...