kripkebuilder

Interactive frontend for manipulating kripke structures and evaluating temporal logic formulae.

Build

$ git clone https://github.com/thpani/kripkebuilder.git
$ cd kripkebuilder
$ npm install
$ gulp

Update samples

Samples are previous FMI exam exercises. You are welcome to contribute previous exercises not yet in Kripke Builder:

1. Fork this repository
2. Draw the exercise in Kripke Builder
3. Save as JSON
4. Edit src/samples.js and add the formulae from the exam
5. Submit a pull request