License?

[danielwaterworth]

Would you mind adding a license file to the repo?

[mishun]

Hmm, I wonder if this project can be assumed being derivative work from original minisat (that has custom licence) with all implying restrictions.
I probably should have thought about it much-much earlier :).

[c-cube]

The readme should probably indicate what license it is (MIT, like minisat?).