msoos/cryptominisat: CryptoMiniSat 5.7.1

<p>Removing LSIDS, as it was interfering with performance.</p&gt

msoos/cryptominisat: CryptoMiniSat 5.11.14

A new release to fix issues with pycryptominisat

msoos/cryptominisat: CryptoMiniSat 5.11.21

<p>New release that disables the possibility of including experimental libraries.</p&gt

msoos/cryptominisat: CryptoMiniSat 5.11.20

<p>New release with new build system that does not need boost</p&gt

msoos/cryptominisat: CryptoMiniSat 5.11.12

<p>New, minor fix release</p&gt

msoos/cryptominisat: CryptoMiniSat 5.11.11

<p>Python interface update, some minor updates to preprocessing.</p&gt

msoos/cryptominisat: CryptoMiniSat 5.11.2

<p>This is a new release with a number of improvements, including irregular-gate and ITE based BVE and a number of improvements that can be useful if used as a library, especially in conjunction with <a href="https://github.com/meelgroup/arjun">Arjun</a>, our new tool.</p&gt