SequencingSolver
