libtopside is a research project that both extends Ultimate++ and is an alternative implementation focused on 3D VR GUI and AI. How to compile See compilation.