basics
Integrate btrpsl
A regular continuous implementation for spread
Ban & fence can be either continuous or discrete now
Continuous && discrete restriction mode for state constraints
Constraint SequentialVMTransitions becomes Seq.
Merge branch 'develop' into binpacking