Choco reasoner generator.
Group cardinality, cardinality, abstracts, integers, references.
Merge branch 'Scope' into choco
Implemented some constraints.
Changable scopes at runtime.
Changable scopes at runtime.
Fixing abstracts and contravariance.
Keep offsets for contravariance.
More of clafer contraints.
Created new branch for python IR
Create python IR branch
merged develop into choco
Created generator for Python. Added extra -m argument for Python
(-mpython).
Merge branch 'develop' into choco
line endings
Merge branch 'develop' into choco
merged develop, resolved conflict
Merge branch 'develop' into choco
Merge branch 'develop' into python
Merge branch 'develop' into python