v0.1

LTL Syntax consists only of U, X, &, !, parenthesis and atomic propositions, which begin with a lower-case letter.

Kripke structure states can be created with a click, connected with a drag (only visible after mouse released), deleted with del and made a starting state with a double click.

When a state is selected (blue), its atomic propositions can be set via the text field, separated by ,.