[creduce-dev] serial or parallel?

[John Regehr]

This is a random question for C-Reduce users: would you prefer the 
default behavior to be to take advantage of all processors, or should 
the default be single-CPU execution?

John