#!mpirun -np 4 protocon-mpi -x-args

# This eats a lot of memory!

-x ../examplespec/ColorRingLocal.prot
-param N 3..6
-param [ -def N 7..8 -no-conflict ]
-pure
-prep-conflicts