If you are looking for installation instructions you should read the quick start.
Setting the build options of the core library
You can customize the behavior of the semantic checking (checking or not, and screen output or not) by changing the build options of the geometric_semantics library (see CMakeLists.txt of geometric_semantics package)- add_definitions(-DCHECK): when using this build flag, the semantic checking will be enabled.
- add_definitions(-DOUTPUT_CORRECT): when using this build flag, you will get screen output for operations that are semantically correct.
- add_definitions(-DOUTPUT_WRONG): when using this build flag, you will get screen output for operations that are semantically wrong.