Added constraint checks; Added .gitignore