Track whether best solution satisfies constraints checker
Add a generic infer constraints to EventConstraints
Merge branch 'constraints/infer' into develop