Skip to content

add support for %%promela

As for %%dve, a support for promela (with Spins) would be nice in Python