Refactor Solve to SolveDriver(Model, Set<SatConstraints>) (Finished)
HardwareFailures, turn off the nodes hosting the involved VMs.
Add a dynamic test for Spread Constraint to compute the discrete and continuous plan.