Has anyone heard of physical crude traders having solver models? Kind of intuitive to what that means but wonder if someone here knew specifics around them.