1. Benjamin Smith
  2. bddpy

Overview

To execute:

    ./bddpy.py test_bdd.bddpy

To convert:

    ./bddpy.py --convert test_bdd.bddpy