Skip to content

Latest commit

 

History

History
50 lines (35 loc) · 1.18 KB

README.md

File metadata and controls

50 lines (35 loc) · 1.18 KB




kripfy is a Kripke structure modelling framework

Build Status dependencies Status devDependencies Status code style: prettier

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