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 it doesn't work for Windows, but I can't help it, I need backbone detection for model counting.

If you want to, you can fix cadical and cadiback, simply create a pull request for the pypi build and I'll be happy to review and merge it. Then it will work, if you fix it. Unfortunately, I don't have the capacity to do that right now. I am closing because I can't fix this issue without many days, if not week(s) of work, and that's too much. I simply don't have that time, and absolutely nobody is paying me to do this, it's 100% my free time that I should be spending with friends and loved ones.

I hope you can create a pull request to fix and then I'll be happy to review. I wish you luck and looking forward to the pull request,

Mate

Thanks for the clarification! I did not ask to remove these libraries, I was asking to clarify what were they used for, ideally in the release notes. How did backbone detection work in the previous release 5.11.21?
Does it mean that cadical and cadiback are not needed for just solving? Do you think it could be possible to disable these dependencies just to compile the IPASIR library? Thanks!

Using Msys64 (MingGW), the following will build CaDiCal under Windows:

#!/bin/bash
#  change ~/cppsrc to your source root directory
cd ~/cppsrc
[ -d cadical ] && rm -rf cadical
git clone https://github.com/arminbiere/cadical
cd cadical
./configure
cd build
make cadical
[ -f cadical.exe ] && cp cadical.exe /usr/local/bin/cadical.exe

@a1880 According to the cadical build instructions one should do ./configure -static -lpsapi. Otherwise the compiled binary will not work without MinGW.

I did not say that it is not possible to compile cadical for windows, I just said it is not easy to do. And this method is officially not supported.

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 the trick? I'll see... We need to fight the ./configure scripts in CaDiCaL and Cadiback, and install GMP. No other library needed, and everything else should compile without a hitch. So maybe it'll work. I'll see...