TODO after 1.0

[shnarazk]

• [ ] better default parameters (1.0.0 has performance degression compared with 0.9)
• [ ] LBD
• [x] phase-saving
• [ ] literal flushing
• [ ] reduce learnts based on one in 7.2.2.2 Satisfiabilty
• [ ] community
• [ ] suvery propagation
• [ ] parallel computation
• [ ] restart policy
• [ ] clause freezing
• [x] validator

[shnarazk]

1.0.1 will have the following:

• phase-saving
• assign validator
• new CNF reader
• a tentative new learnt clause manager