@hackage / CSPM-ToProlog

some modules specific for the ProB tool

Latest0.5.5.0

About

Metadata

  • Last updated , by MarcFontaine
  • License BSD-3-Clause

  • Maintained by: Marc Fontaine <Marc.Fontaine@gmx.de>

  • Lottery factor: 0

Links

Installation

Readme

CSPM-ToProlog

This package contains a translation from a CSPM AST to the representation used by the ProB tool. This code is only interesting for ProB developers.

Haddock documentation