Changelog for mergesat-3.3.0-lp156.3.2.x86_64.rpm :

* Tue May 10 2022 Jiri Slaby - Update to 3.3.0
* pow: implement internal method
* ci: check determinisms
* implement detecting necessary assignments
* implement all-strengthening
* implement on-the-fly self-subsumption
* generalized variant of learning all UIP clauses
* implement AllUIP minimization by Feng and Bacchus
* include lookahead as decision heuristic
* improve documentation
* parallel: support proof generation
* testing: use modgen generator during fuzzing runs
* fix FPU control to compile on ARM
* interface: implement CaDiCaL\'s C interface, and test similar behavior
* interface: provide cmergesat.h C interface
* simp: support freezing a variable multiple times
* parallel: introduce Semaphore class, to compile on Mac
* version: use full semantic versioning
* parallel: fix solving with uniform configuration in all solvers
* parallel: fixing not using simplification for parallel solvers- add minisat-simp-set-_FPU_DOUBLE-only-if-available.patch to fix build on non-x86
* Fri Aug 23 2019 Simon Puchert - Initial package.