4 fixedto incremental usage of blocked clauses
6 new features in 465 since 236
7 -----------------------------
8 blocked clause elimination
10 preprocessing run-to-completion mode
11 stand alone preprocessing
12 on-the-fly subsumption
13 allow one proper inverse arc but disabled
14 application interface similar to PicoSAT without assumptions yet
15 added backward subsumption and strengthening for learned clauses
16 removed hash table for binary clauses