python: ltsmin.model.kripke should be more flexible
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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information