Dominic Steinhöfel

I'm using the following function for converting the output to a String that I could feed back into Prolog: ```python def pyswip_output_to_str(inp) -> Union[str, int, List]: if type(inp) is bytes:...

Here you are:    

While uploading the screenshots, I saw that the title slide has a plain white background, while I suppose it should be the same as the other slides. If there's interest...

Do you know about any kind of statistics about how frequently a given research method occurs in practice? For instance, Engineering Research could apply for much more empirical SE papers...

I see 😬 Still, such a classification could be useful for designing the decision tree; it won't make it incorrect, rather influence its structure. I just sent 10 minutes trying...

That sounds great, looking forward to testing the new version!

The cause is not the version on PyPi, I just executed a cell with the following (only slightly changed) content in the interactive notebook for the current fuzzing book version,...

Thanks for the report. Could you please provide a small but complete example, including a grammar and parseable ISLa constraints with concrete nonterminal symbols? This will help me tremendously in...

@leonbett: I don't understand the fix "(b)." The line in question is never reached in your example (I placed an `assert False` to make sure), which would also be strange...

The remainder of the problem is probably related to `str.to.code`. There's currently no special support for this in ISLa (unlike to `str.to.int` and `str.len`), which is why Z3 also gets...