/libtopside

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

Primary LanguageC++OtherNOASSERTION

Banner

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.