Deleted offial mozart2-library submodule
Added submodule lib/main with constraint prorgamming support