search

glaserL / vizlo

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

Reification #10

Closed glaserL closed 3 years ago

glaserL commented 3 years ago

We are now able to reify any positive program into the holds annotation