search

hhu-stups / pyB

pyB
6 stars 0 forks source link

Implement bstate comparison (at least equality) #11

Open JonnyWalker opened 10 years ago

JonnyWalker commented 10 years ago

Find a "clever" way to compare bstates. It must be possible to find out if a bstate is equal to an other. This is need e.g. for model checking