search

netom / satispy

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

2to3 #13

Closed yberman closed 6 years ago

yberman commented 6 years ago

make cross compatible between python2.7 and python3

netom commented 6 years ago

Thank you!