onNewStaticKb
Fired whenever the static knowledge base loaded into the solver changes (by reset or before a new resolution).
Fired whenever the static knowledge base loaded into the solver changes (by reset or before a new resolution).