v3.3

• Modernization and fixes for Python 3.14.

Full Changelog: v3.2...v3.3

v3.2

• Removed unneeded zlib dependency; simplifies building.

v3.1

• Performance: Update pyminisolvers; use new_vars() method in MARCO when instantiating new solvers. Improved performance on large instances.
• Remove support for Python 3.8 and below.

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.