Add incremental solver class
[satlib.git] / 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