Sequential version of MONOSAT-based interference computation
The parallelization is impossible, MONOSAT is tied to a native library so cannot ensure that parallel calls
are safe (TOO BAD)
Sequential version of MONOSAT-based interference computation
The parallelization is impossible, MONOSAT is tied to a native library so cannot ensure that parallel calls
are safe (TOO BAD)
Attributes
platform
the platform for which the interference are computed, must contained the extra information
for the interference calculus
Returns:
the files containing the results of the interference calculus