TODO for 1.2

[shnarazk]

It deserves to release.

• [x] validity (soundness) checking by SR15m131
• [x] delete a lot of working branches
• [x] validator should display filename
• [x] replace ClauseManager with WatcherList; or rename to a better name
• [ ] delete useless comments
• [x] redo glucose (single thread) benchmark
• [ ] update documents
• [ ] release by June 24 27

[shnarazk]

[shnarazk]

[shnarazk]

the graph

[shnarazk]

version 1.2 without Random and Criterion

version 1.1 with Random for random decision selector

[shnarazk]