Added the notation solver to the project