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