1 min readApr 9, 2018
did you read additional books apart from the listed?
No, just Answer Set Solving in Practice.
what tool or library did you use for creating the graphs?
I used draw.io.
Written by Natalie Weizenbaum
Code gardener. Lead designer/developer of @SassCSS, working for @google on @dart_lang. Occasionally likes media.