artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
95 Commits 4 Branches 0 Tags
e098bcb42b56fd1ac59d60a3ef363acaf774c673
Commit Graph

2 Commits

Author SHA1 Message Date
Artur Meski
3157bb09ef Support for NK 2018-04-21 22:26:42 +01:00
Artur Meski
8a9ba95fed Quantification BDDs for each process; example 2018-04-15 18:47:52 +01:00