Home My Page Projects CryptoMiniSat
Summary Activity Lists Files

Project Filelist for CryptoMiniSat

File Release Notes and Changelog

Release Name: 2.9.4

Release Notes
This is a bugfix version for the 2.9 series
Change Log
* Fixed bug with size()/2 for blocked literal that was nondeterministic
  Thanks to Philipp Jovanovic for this
* Fixed bug with uncomputed abstraction for clauses