search

sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories
MIT License
106 stars 29 forks source link

PyPI package? #6

Open kasbah opened 6 years ago

kasbah commented 6 years ago

Is it possible to package this up for the Python Package Index for easy installation?

sambayless commented 6 years ago

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?

kasbah commented 6 years ago

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.