search

netom / satispy

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

Added LICENSE file based on setup.py #2

Closed dhoepelman closed 10 years ago

dhoepelman commented 10 years ago

I think this is a little clearer for contributors

netom commented 10 years ago

Thank you!