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

$ yarn test

$ yarn build

• 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⚠

MIT