BDD solver on top of redis

BDD solver on top of redis