Code style

Please follow the code style rules from CArL documentation.

For SMT-RAT, we follow a different rule for naming files and namespaces:

• Every file should represent a module.
• Every (sub-)folder has its own namespace.