I made a program which allows to build instances conforming to a certain model and allowing to save those in an xml file following the Alloy standards.
To get the A4Solution objects corresponding to those instances, I then read those xml files using the A4SolutionReader.read method. This worked great, until I stumbled upon a rather big instances, which, when read, causes the following Exception:
Caused by: kodkod.engine.CapacityExceededException: Arity too large (4) for a universe of size 880
I would understand that the analyser would complain when performing an analysis with a huge scope, but here the instance is already provided, so what justifies this exception? and is there another way to get an A4Solution object from my xml file without having this issue ?
