APT 3.0 solver research project