some modules specific for the ProB tool.

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.

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.