A proper tutorial is coming soon!
Meanwhile, have a look at the following resources:
- A short whitepaper on ManyWorlds, presented at ModRef 2024. The target audience is constraint programming researchers, but it may be clear to other people as well.
- an informal introduction presentation
- a one page poster summary
- the grammar for the ManyWorlds syntax
- some woefully incomplete documentation
Also, feel free to drop by the ManyWorlds subreddit or ask a question on the mailing list.