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.
merged develop into choco
Merge branch 'develop' into choco
Merge branch 'develop' into choco
Merge branch 'develop' into choco
Merge branch 'develop' into choco
Starting to move to new backend.
Merge branch 'develop' into choco
Updated choco generator.
Merge branch 'develop' into choco
Merge branch 'develop' into choco
Fixed for abstracts extending abstracts.