Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save damascenodiego/496fb3498280b00a76ad00d6aba326bc to your computer and use it in GitHub Desktop.
Save damascenodiego/496fb3498280b00a76ad00d6aba326bc to your computer and use it in GitHub Desktop.
4
1 2 p q 2 2 3
2 2 p r 2 2 4
3 2 q r 1 1
4 1 q 1 4
( AF ( EX ( q ) -> AF ( p ) ) )
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment