Gitignore
updated to alloy 4.2, kodkod 2.0
Project compiles again
Merge branch 'master' of github.com:psii/alloy4smt