Implements concurrent Smt::compute_mutations
#365
Merged
Loading
Smt::compute_mutations
#365