Automatic constraint::Domain solving when relations have changed
Updated current state in readme