CryptoMinisat 3.1 has been released. The short changelog is:
$ git diff cryptoms-3.0 cryptoms-3.1 --shortstat
84 files changed, 3079 insertions(+), 2751 deletions(-)
The changes made were threefold. First, memory usage has been greatly reduced. This is crucial, because memory usage was over 7GB on certain instances. Secondly, the implication cache wasn’t very well-used and an idea that came to my mind greatly improved performance on most problems.