Re-licensing CryptoMiniSat to MIT licence in the headers as well
Re-licensing CryptoMiniSat to MIT licence in the headers as well

It has been documented that I have re-licensed this version of
CryptoMiniSat for an MIT license. It's now indicated in the header
files, too

kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp