Initial commit
Need test
First implementation of bdd
Added SAT
Added imply support. Added few comments.
Fix bug in hashcon
Merge branch 'master' of https://github.com/zhihan/bdd-scala
Added readme