backends/precosat/NEWS

   1 new features in 465r2
   2 ---------------------
   3
   4 fixedto incremental usage of blocked clauses
   5
   6 new features in 465 since 236
   7 -----------------------------
   8 blocked clause elimination
   9 glucose glueing
  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