search

thpani / kripkebuilder

Interactive frontend for manipulating kripke structures and evaluating temporal logic formulae.
http://forsyte.at/kripke/
MIT License
6 stars 2 forks source link

readme

kripkebuilder Build Status

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