search

netom / satispy

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

Remove numpy dependency #6

Closed domidimi closed 9 years ago

domidimi commented 9 years ago

There is only one import of numpy which is unused. Remove it and update the README.

Signed-off-by: domidimi

netom commented 9 years ago

Thank you!