glaserL / vizlo

Debugging module for clingo

MIT License

2 stars 0 forks source link

Implement reification #3

Closed glaserL closed 3 years ago

glaserL commented 3 years ago

10 solves this for positive programs