Salome HOME
Implement extended status of previously solved/failed set of constraints