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