[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Python binding

From: Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
Date: Mon, 15 Mar 2021 13:43:21 -0700
References: <0c38edea-a9d6-4bde-9dfc-db47ca604e69n@googlegroups.com>

On 15.03.21 11:26, Marco Barbosa wrote:

I need a python binding for TLA+ for my master's thesis, since Icouldn't find anything online, I decided to develop one on my own. Justpassing by to let you know, and check if someone would find this useful.Feel free to leave any suggestions.



PlusPy [1] might be interest here.

Markus

[1] https://github.com/tlaplus/PlusPy

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/2f1cf550-9f2f-f023-8e00-70a71a4ff2f4%40lemmster.de.

Follow-Ups:
- Re: [tlaplus] Python binding
  - From: Marco Barbosa

References:
- [tlaplus] Python binding
  - From: Marco Barbosa

Prev by Date: Re: [tlaplus] Python binding
Next by Date: [tlaplus] How to debug unexpected exception when the error call stack is empty?
Previous by thread: Re: [tlaplus] Python binding
Next by thread: Re: [tlaplus] Python binding
Index(es):
- Date
- Thread