DB-TDD 2.0.0: all programs included in this package except for CUDD library
Copyright (c) 2015, Takahisa Toda
Released under the MIT License.

See the license description for CUDD library, contained in cudd-2.5.0.
