---

kripfy is a Kripke structure modelling framework

---

Downloading and installing dependencies

$ git clone https://github.com/vittau/kripfy.git
$ yarn install

Testing

$ yarn test

Building

$ yarn build

Objectives

• Define a generic object schema for Kripke structures;
• Provide ways to build and transform the structures to prepare them for usage;
• Be easy and intuitive to use;
• Be usable in modal logic model checkers.

⚠This framework is still under construction⚠

License

MIT