Mate Soos
Mate Soos
I am closing because I think I answered it all :) Please re-open if you have any further questions!
Ah, glad you managed to compile under Windows! Can you maybe create a pull request for the changes you mention? I'd be happy to merge it :)
I am working on this. Will be done by today. Sorry.
Hi, I have now uploaded a pypi package. However, I cannot make Windows work. CaDiCaL and Cadiback would need to somehow work on windows, and then the GMP bignum library...
The changes relative to the old one are: * libgmp needed * cadical needed * cadiback needed With Linux this is fine. Windows and Mac are always special in their...
I have very little time left to do things. So if you create a Pull Request that fixes the issue with Windows, I'd be super happy. However, I can't do...
Hi, Thanks. Oopps. I am at odds with this python thing. I am not 100% sure I want to have it at all.... I'll think about it. It's extremely painful...
Ah, I think I managed to fix this! Sorry, it's late so it'll have to wait until tomorrow night to have the new package on pypi. But it'll be there...
Ah okay. I'll look into this tonight!
Oh no, I just spent another evening without realizing and I have no idea what I'm doing. I'm sorry, I just can't. It would take me years to understand the...