Mate Soos
Mate Soos
@andreamattavelli Thanks for the grep... I wrote CryptoMiniSat (>8000 commits) and I know MinSat inside out. A fixed seed will give you the same sequence of numbers all the time...
Hi, @MartinNowack @ccadar could you take a look at my text above and see if that makes any sense? Could you tell me what should the correct solution be (I...
Thanks! I'll work on it tomorrow, 0:52am here today :) I'll get back to you about my assessment asap. Thanks for the example, should make it easier to track down....
Well, that's interesting. I think we need to go into the valgrind issues that are continuously highlighted (e.g. by fuzzing). I would like to note that I didn't write STP...
Thanks again! I'll update this issue once I got to the bottom of this!
Hah, this was it! I have been running the fuzzer with valgrind on for a while now, and nothing came up. Amazing! I'm closing this because it's now fixed from...
Well, you mean that the way the SMT/CVC input looks, it generates a different solution? If you think about it, there is very little one can do to fix that....
Hi, Ah, okay, I can investigate that! It's weird, that memory location makes difference. Note that STP state can actually make a difference at that might be normal. But pure...
These were added because someone who was using STP was very adamant about them. I don't remember exactly who it was, but it seemed really important for them. Ah, I...
Sure, what you said makes 100÷ sense. Just wanted to point out that those authors were there for a particular reason. Let's merge this PR but make sure we don't...