BDD solver on top of redis