SolverNanAlgBatch

Solve the schedulability question of a groups of taskset