Refactor Solve to SolveDriver(Model, Set<SatConstraints>) (Not Finish)
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.
move PlanChecker, FindPlan (old name: Solve) to package demo.
add apache CLI dependency
update FindPlan. Add Model & Constraint Generator for: among, spread, ban, fence, lonely, quarantine constraints.
Update Generator: add size arguments for creating set of VM / Node in constraint's arguments.
add CpuPeak to create the violation of constraints by increasing the demand of VMs involved in the constraints and some other random VMs.