Builds, tests, and runs the project SyMAT.