Program for BDD evaluation for Epicodus