Skip to content

4.0.2

Latest
Latest
Compare
Choose a tag to compare
@ltentrup ltentrup released this 24 Feb 21:29
· 2 commits to master since this release
4.0.2
62ee769

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
Assets 2
Loading