pub type Producer = Option<String>;
The producer or solver identity a solution records, free text as the producer states it.
pub enum Producer { None, Some(String), }
No value.
Some value of type T.
T