README.md

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.