Insieme makes use of the following tools:
- Gcc: for compiling the entire project and the runtime
- Clang: in the frontend, to parse the input code
- GLog: for logging
- GTest: for unit testing
- Xerces-C++: for XML input/output
- Isl: for manipulating sets and relations of integer points (polyhedral model)
