Luca Di Stefano
Luca Di Stefano
I can reproduce this error with pigar 1.0.0, on macOS Monterey with Python 3.10.4. Full output ``` $ pigar -u Starting update database ... The process will take a long...
Can confirm the issue (using Big Sur).
No worries! (And sorry for the late reply) Feel free to adjust/suggest adjustments to the API as you see fit. Once that is settled, I am pretty confident I can...
No worries! I'll take note of the changes in case I find the time to extend this API to other solvers. If I make it, I'll submit another PR.
The buggy binary is the universal one from CTAN. Its release date (from `biber.pdf`) is 5th March 2023, and its SHA256 checksum is `975fc4e9cddc15dc8731c81523d71ed6ea09259df3b5bf0ec574b8753ca6fed6`. The one I am using as...
> Have you tried the latest 2.19 universal? I am sorry, but where may I find that? The `current` universal binary on SourceForge appears to be the same as the...
Thank you for the link. Sadly I get the same error message in this version as well.
I didn't find an ARM64 binary at that location, but I could run the x86_64 one. Interestingly, that one did not fail! So, I also tested the 2.19 x86_64 binary...
Thank you for the instructions. I can confirm that the resulting binary still displays the same error message.
Somewhat related, so I chose not to open a separate issue. It appears that both CUDD and Sylvan support MTBDDs/ADDs but restrict the output to {0, 1}. Is there any...