RedPhoenixBDD (offline)