Function biodivine_sketchbook::algorithms::eval_dynamic::encode::encode_multiple_observations_str

fn encode_multiple_observations_str(
    observations: &[Observation],
    prop_names: &[String],
) -> Result<Vec<String>, String>

Encode several observation vectors with conjunction formulae, one by one. Also see encode_observation_str for details.