v3.0

• Now runs in parallel by default on multicore systems, simplified parallel options
• Restructure code to enable integration in other programs (see lib_examples.py)
• Remove support for Python 2.7
• Lots of cleanup and refactoring

v2.1.0

• Fix SMT parsing

v2.0.1

• Add --print-mcses option

v2.0

• Add mode for parallel execution ("MARCOs")
• Remove some old, unneeded execution modes
• Many small improvements and fixes

v1.1

• Fix signal handling -- timeout and Ctl-C more reliable

v1.0.1

• Add note about support for GCNF to README
• Include .gcnf test files in distribution

v1.0

Handle missing (not yet compiled) libmini???.so.

v0.9

Simplifications for 0.9 release.

v0.8.1

mkdist.sh tweak.

v0.8

Include VERSION in the dist.  Why not.