glucose-syrup/Changelog

   1 Version 4.0
   2  - Add a Multithread version, called syrup (many glucose ;-)
   3    See SAT14 paper: Lazy Clause Exchange Policy for parallel SAT solvers.
   4
   5  - Can work indepentently in sequential or with many cores
   6
   7 Version 3.0 (2013)
   8  - Add incremental features.
   9     See SAT13 paper: Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction
  10
  11  - Add certified UNSAT proof.
  12
  13 Version 2.3 (2012)
  14  - Add new restart strategy
  15     See CP12 paper: Refining Restarts Strategies For SAT and UNSAT
  16
  17  - Add additionnal features to speed the search
  18
  19 Version 2.0 (2011)
  20  - Add additionnal features (freeze potential good clauses for one turn)
  21
  22  - Based on Minisat 2.2
  23
  24 Version 1.0 (2009)
  25  - Based on Minisat 2.0
  26     First release of glucose.
  27     See ijcai 2009 paper: Predicting Learnt Clauses Quality in Modern SAT Solver