Mate Soos
Mate Soos
Hi, I have replaced all of this build instruction stuff with a pointer to the GitHub build, because it's too complicated to explain in text and I don't want to...
Thanks for the response @DonLakeFlyer ! It turns out, they send `RC_CHANNELS_OVERRIDE` messages only (not _RAW). Does that change your mind regarding what should be done here?
@DonLakeFlyer Yes, let me do this. Sorry for the delay.
Hi @DonLakeFlyer , Can you please check the PR now? It now has your requirements implemented. I checked, it works well. Please merge if you think it's good :) Thanks,...
Nice, thank you so much! I just squashed :) Let me know how it goes :) Thanks so much, Mate
Thanks so much for merging!
Hi, CaDiCaL and Cadiback are needed for backbone detection. I can't remove it. Bumping a more serious version number would be appropriate. I will do that soon. I am sad...
I think I am making progress here. I have managed to compile the beast for Linux and Mac for pypi. Maybe Windows won't be so bad. Perhaps WSL will do...
There is a static Windows binary attached to the latest release now: https://github.com/msoos/cryptominisat/releases/tag/release%2F5.13.0 Yay! I hope this helps. I am closing this ticket. In case it doesn't work, please re-open...
Hi, There is not even a need to call simplify(). Just set it to true via an `addClause()` and it'll be fine. Don't worry about the internals. You should not...