Mate Soos
Mate Soos
I have been a busy bee but I haven't yet figured it out. I'll get there :) They way caqe is using the solver is pretty peculiar. I wonder what's...
Man, I've been chasing my tail with this one. I wonder what's going on. You call the solver so many times, it's a very specific use-case. I will play a...
Hi, Thanks for the bug report! I am a bit confused why you have `c ind` line. It's used only in case you are using CryptoMiniSat to count solutions via...
Hi, Unfortunately, I can't help you with this because the backtrace is not available. HOWEVER, I have recently fixed a number of bugs -- I finally got my fuzzer running...
Hmm... I have just fixed an issue related to this in CMS. I will be fuzzing it overnight and hopefully catch this bug if it is still there. Sorry.
Oh. Maybe we can revert that? @TrevorHansen what do you think? Is there something we can do to make sure we don't weaken our performance on other problems while making...
I believe I have fixed this in my version, check it out: https://github.com/msoos/sha1-sat/ Mate
Hi, Thanks, that sounds good! Can you please make a pull request out of these changes? Here is a quick guide to do it: https://docs.github.com/en/enterprise/2.15/user/articles/creating-a-pull-request Note that espresso is not...
Note that I am not the maintainer, so it's only Vegard who can tell you what's needed etc :) I have a slightly updated version of this tool here: https://github.com/msoos/sha1-sat...
Wow. I mean, this is amazing work. I'll write to you over email in a sec :)