CNFIO/Writer.hs: fix a typo
SAT/BoolExp.hs (-||-): fix a semantics bug
.gitignore: add doc (generated by haddock)
version 0.1.8.1