Mohammad Hussein Tavakoli Bina comments

Results 4 comments of


                                            Mohammad Hussein Tavakoli Bina

Thanks for your explanation. I'll keep this issue open so it can act as a temporary contribution guide for others.

Are these available in SB2 as well?

Thanks. I think it is worth adding a tutorial about using low-level API to docs.

I was using `ltl2ba.py` file separately like: ``` python ltl2ba.py ``` and I replaced the default formula ``` f = '[] !s && (a || c) && (b U c)'...