workflowfm/workflowfm-reasoner

A logic-based library for correct-by-construction process modelling and composition.

Language: OCaml - Size: 4.19 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0