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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information