BDD solver on top of redis

BDD solver on top of redis
Merge branch 'master' of https://github.com/taufanardhinata/BDDvrs