almost-one-liner (though it will give you the full model):
import z3; z3.solve([z3.Sum([ord(a) == z3.Int(f"k{i}") for i, a in enumerate(r[0])]) == r[1] for r in [("bbababbabb", 7), ("baaababaaa", 5), ("baaabbbaba", 3), ("bbaaabbaaa", z3.Int("x"))]])
The AfD had a large secret meeting with right extremists discussing "re-migration" policy this last November, and many members have close ties to Neo-Nazis.
Hi lou, I'm a contributor to Storm and will continue to work on it in my upcoming PhD position. The bottom line is that there are some things you can only do in PRISM and there are more things you can only do in Storm, but if you can do it in both, Storm is usually much faster (see QComp: https://qcomp.org/).
PRISM has better documentation. Storm has recently recieved a grant that will help improve its user interface and applicabilty.
I would like to hear from you what ideas and applications you have for using PMC! :)