monosat
monosat copied to clipboard
PyPI package?
I'd be all for it, but I'm not sure what would be involved. Can you point me to any resources for packing python libraries that rely on native libraries?
I don't have any experience with it either I am afraid. I did a bit of digging and scikit-build may be a good option since you are using CMake.