4.0.2

Fixed

• Compilation error on OpenBSD due to mismatch in selected C++ stdlib

Added

• Feature largemem to enable larger allocations in the underlying SAT solver CryptoMiniSat

4.0.1

Fixed

• Crash during parsing caused by an empty matrix and innnermost universal quantification (thanks to Andreas Niskanen)
• Crash when requesting partial assignments (--qdo) in combination with miniscoping (thanks to Valentin Mayer-Eichberger)
• Fixed rust deprecation warnings and clippy suggestions