search

netom / satispy

An interface to SAT solver tools (like minisat)
Other
58 stars 17 forks source link

Python 3 compatibility #11

Closed yberman closed 6 years ago

yberman commented 6 years ago

I use satispy heavily, but I am switching to 3 and I was wondering if you could make it compatible?

https://docs.python.org/3/howto/pyporting.html

If not, would you be interested in having a patch written that does?

netom commented 6 years ago

Thank you for the report @yberman. I have little time nowdays to properly take care of the library, but I'll do my best to port pyicap to Python 3 ASAP. This could mean months, so PRs are very welcome.

netom commented 6 years ago

...I mean satispy of course. PyICAP is an other library. :D

netom commented 6 years ago

Well, it took a while, but finally it's ready. I also included a .travis.yml for automatic testing.