Running alloy analyzers in parallel? -

Running alloy analyzers in parallel? -

i refer question can found @ address :

running alloy analyzers in parallel

is there ongoing research or conclusion reached on decomposition of alloy models, in order allow more optimal analysis of models ?

this interests me greatly.

i interesting in topic too. maybe can think this. when starting alloy engine solve constraint, can phone call function alloy , inquire solve 1 constraint. think can phone call function in cluster mode, , inquire each node solve 1 constraint. then, can compute subset of results each node. see here example: http://alloy.mit.edu/alloy/code/exampleusingthecompiler.java.html

i not sure can work this, it's worthy think in mapreduce framework.

alloy