Adopt the SimSpark simulator with SPL rules