release plan

[shnarazk]

LBD was implemented. But before committing it to master, I must make a release of a vanilla minisat implementation.

• [x] move codes on LBD from the HEAD to a new branch
• [x] move codes on my heuristics on clause activity to somewhere
• [x] bump to closed version 0.9 in my private repository -- a solid minisat implementation
  • [x] check the clause reducing strategy in the paper again and again
  • [x] compare to minisat 1.14
  • [x] compare to TAOCP 7.2.2.2 Satisfiability :mag:
• [x] swtich to this repository from a private one by Dec. 10
  • [x] prune everything but mios :christmas_tree:
  • [x] rebase :tanabata_tree:
• [x] bump to closed version 1.0 in my private repository
  • [x] switch to stack from cabal
  • [x] comparison of IORef, Vector.Unboxed.Mutable singleton, Data.Mutable
• [x] reimplement old version based on 1.0 codebases to make version comparisons meaningful. (Old versions have critical mistakes in various functions)
  • [x] salvage old classes and types :anchor:
  • [x] add some mechanism to switch versions easily
  • [x] update cabal file in order to generate all versions
• [x] Test! Experiment! Record! Summarize! :school:
• [x] refactoring to RC3
  • [x] commit everything
  • [x] rebase
  • [x] activate all options
• [x] refactoring to 1.0
  • [x] update REAME.md
  • [x] commit everything
  • [x] rebase
  • [x] final check
• [x] update statistics
• [x] open version 1.0 -- slow but true minisat by Dec. 30 2016-01-13 :tada:

[shnarazk]

An emergent release blocker requires more evaluations:

• class-based containers (1.0 RC2) or data-based containers (1.0 RC1)

[shnarazk]