search

netom / satispy

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

Remove NumPy dependency as it seems unused #5

Closed domidimi closed 9 years ago

domidimi commented 9 years ago

satispy/cnf.py imports numpy but it is not used anywhere. Can we remove the dependency? The README.md also mentions numpy

domidimi commented 9 years ago

Please see pull request #6

netom commented 9 years ago

Merged, thank you!

domidimi commented 9 years ago

Thanks!