Builds, tests, and runs the project JosefProblem.