python: ltsmin.model.kripke should be more flexible
The ap_set
argument currently needs to be a sequence of strings (atomic proposition names).
We should also allow ap_set
to be a sequence of atomic propositions, or directly an atomic_prop_set
.