Add Haiku support in example solver