dfa package