PROBCORE-252 CSPModel now has subclass AbstractModel. Type of Model in StateSpace and History is now also AbstractModel.
PROBCORE-242 Javadoc!