Jiong Yang

Hi Marcel, Mate's suggestion is correct. It's better to change the epsilon and delta if you only want a stronger guarantee from multiple runs. To answer your question directly: yes,...

I'll do that, although I think the bug (and the fix) is very unlikely to trigger in practice. For example, given 7 variables, the probability of obtaining 7 empty XORs...

Thanks for reporting this bug! I found this bug last year but forgot to commit the fix at that time. Sorry for that! I just submitted my fix in the...

Sorry for the delay. I will get this done by next week.

Hi Mate, I'm using [SharpVelvet](https://github.com/meelgroup/SharpVelvet) to fuzz ApproxMC7. Following these [instructions](https://github.com/meelgroup/SharpVelvet?tab=readme-ov-file#running-sharpvelvet), I could generate 200 instances for fuzzing, but the script failed to retrieve results from ApproxMC's output. I received...