Version 0.1.7.dev15.

Updated unique MUS test.

Version 0.1.7.dev1.

Another fix in Mergesat compilation.

Version 0.1.6.dev6.

Fixed a few bugs in accum_stats(), enumeration mode of RC2Stratified, top_id handling in cardinality encodings.

Release 0.1.6.dev3.

A few more changes in the patch for CaDiCaL.