@dotcontract/kripke-machine v0.0.6

kripke-machine

A modal logic machine working over possible worlds.

guard-machine

Guard Machine is a simplified Kripke Machine where all constraints must come in the form always_must (boolean_formula) [until revoked]

It has been designed to serve as replacement for a full Kripke Machine when more complex modal logic is not required, in particular during